eric5_configure.py

changeset 2087
795992a5c561
parent 1509
c0b5e693b0eb
child 2302
f29e9405c851
equal deleted inserted replaced
2085:b4c1f0b6dac2 2087:795992a5c561
13 import sys 13 import sys
14 import os 14 import os
15 15
16 for arg in sys.argv: 16 for arg in sys.argv:
17 if arg.startswith("--config="): 17 if arg.startswith("--config="):
18 import Utilities 18 import Globals
19 configDir = arg.replace("--config=", "") 19 configDir = arg.replace("--config=", "")
20 Utilities.setConfigDir(configDir) 20 Globals.setConfigDir(configDir)
21 sys.argv.remove(arg) 21 sys.argv.remove(arg)
22 break 22 break
23 23
24 # make ThirdParty package available as a packages repository 24 # make ThirdParty package available as a packages repository
25 try: 25 try:
26 import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__ 26 import pygments # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
27 except ImportError: 27 except ImportError:
28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments")) 28 sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
29 29
30 from Utilities import Startup 30 from Globals import AppInfo
31
32 from Toolbox import Startup
31 33
32 34
33 def createMainWidget(argv): 35 def createMainWidget(argv):
34 """ 36 """
35 Function to create the main widget. 37 Function to create the main widget.
50 """ 52 """
51 options = [\ 53 options = [\
52 ("--config=configDir", 54 ("--config=configDir",
53 "use the given directory as the one containing the config files"), 55 "use the given directory as the one containing the config files"),
54 ] 56 ]
55 appinfo = Startup.makeAppInfo(sys.argv, 57 appinfo = AppInfo.makeAppInfo(sys.argv,
56 "Eric5 Configure", 58 "Eric5 Configure",
57 "", 59 "",
58 "Configuration editor for eric5", 60 "Configuration editor for eric5",
59 options) 61 options)
60 res = Startup.simpleAppStartup(sys.argv, 62 res = Startup.simpleAppStartup(sys.argv,

eric ide

mercurial