31 Globals.setConfigDir(configDir) |
31 Globals.setConfigDir(configDir) |
32 sys.argv.remove(arg) |
32 sys.argv.remove(arg) |
33 break |
33 break |
34 |
34 |
35 # make ThirdParty package available as a packages repository |
35 # make ThirdParty package available as a packages repository |
36 try: |
36 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) |
37 import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__ |
|
38 except ImportError: |
|
39 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) |
|
40 |
37 |
41 from Globals import AppInfo |
38 from Globals import AppInfo |
42 |
39 |
43 from Toolbox import Startup |
40 from Toolbox import Startup |
44 |
41 |