eric5.py

changeset 2664
56add695787e
parent 2614
9c49b4419ea7
child 2677
3d4277929fb3
child 2683
ef93fc7332a2
equal deleted inserted replaced
2663:37b3ec77f2c4 2664:56add695787e
41 Globals.setConfigDir(configDir) 41 Globals.setConfigDir(configDir)
42 sys.argv.remove(arg) 42 sys.argv.remove(arg)
43 break 43 break
44 44
45 # make Third-Party package available as a packages repository 45 # make Third-Party package available as a packages repository
46 try: 46 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
47 import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
48 except ImportError:
49 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
50 47
51 from E5Gui.E5Application import E5Application 48 from E5Gui.E5Application import E5Application
52 49
53 50
54 def handleSingleApplication(ddindex): 51 def handleSingleApplication(ddindex):

eric ide

mercurial