eric5_editor.py

branch
5_3_x
changeset 2668
4c5320acf00d
parent 2302
f29e9405c851
child 2677
3d4277929fb3
child 2965
d133c7edd88a
child 3163
9f50365a0870
equal deleted inserted replaced
2667:3e741f0db4da 2668:4c5320acf00d
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 try: 27 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
28 import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
29 except ImportError:
30 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
31 28
32 from Globals import AppInfo 29 from Globals import AppInfo
33 30
34 from Toolbox import Startup 31 from Toolbox import Startup
35 32

eric ide

mercurial