eric5-configure.py

changeset 97
c4086afea02b
parent 18
3b1f5d872fd7
child 723
49ef401db2ce
child 792
a13346916170
equal deleted inserted replaced
96:9624a110667d 97:c4086afea02b
26 import pygments 26 import pygments
27 except ImportError: 27 except ImportError:
28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) 28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
29 29
30 from Utilities import Startup 30 from Utilities import Startup
31
32 import Preferences
33
34 31
35 def createMainWidget(argv): 32 def createMainWidget(argv):
36 """ 33 """
37 Function to create the main widget. 34 Function to create the main widget.
38 35

eric ide

mercurial