eric5_editor.py

changeset 2992
dbdf27746da5
parent 2965
d133c7edd88a
child 3034
7ce719013078
child 3057
10516539f238
equal deleted inserted replaced
2991:226481ff40d1 2992:dbdf27746da5
22 Globals.setConfigDir(configDir) 22 Globals.setConfigDir(configDir)
23 sys.argv.remove(arg) 23 sys.argv.remove(arg)
24 break 24 break
25 25
26 # make ThirdParty package available as a packages repository 26 # make ThirdParty package available as a packages repository
27 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) 27 sys.path.insert(2, os.path.join(os.path.dirname(__file__),
28 "ThirdParty", "Pygments"))
28 29
29 from Globals import AppInfo 30 from Globals import AppInfo
30 31
31 from Toolbox import Startup 32 from Toolbox import Startup
32 33

eric ide

mercurial