eric5-webbrowser.py

changeset 633
4bda1d24b8a7
parent 565
21191e634b47
child 723
49ef401db2ce
child 792
a13346916170
equal deleted inserted replaced
630:2610329f5c15 633:4bda1d24b8a7
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