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): |