eric5-webbrowser.py

branch
5_0_x
changeset 631
9ca86837a591
parent 567
5dcea6a6c0d0
child 723
49ef401db2ce
child 792
a13346916170
equal deleted inserted replaced
601:4f37cd1b9a1f 631:9ca86837a591
28 import pygments 28 import pygments
29 except ImportError: 29 except ImportError:
30 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) 30 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
31 31
32 from Utilities import Startup 32 from Utilities import Startup
33 import Utilities
33 34
34 def createMainWidget(argv): 35 def createMainWidget(argv):
35 """ 36 """
36 Function to create the main widget. 37 Function to create the main widget.
37 38

eric ide

mercurial