eric5_configure.py

changeset 945
8cd4d08fa9f6
parent 896
f855351d5e98
child 1310
7fdcfa822e3e
equal deleted inserted replaced
944:1b59c4ba121e 945:8cd4d08fa9f6
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 Utilities import Startup
31 31
32
32 def createMainWidget(argv): 33 def createMainWidget(argv):
33 """ 34 """
34 Function to create the main widget. 35 Function to create the main widget.
35 36
36 @param argv list of commandline parameters (list of strings) 37 @param argv list of commandline parameters (list of strings)
40 w = ConfigurationWindow() 41 w = ConfigurationWindow()
41 w.show() 42 w.show()
42 w.showConfigurationPageByName("empty") 43 w.showConfigurationPageByName("empty")
43 return w 44 return w
44 45
46
45 def main(): 47 def main():
46 """ 48 """
47 Main entry point into the application. 49 Main entry point into the application.
48 """ 50 """
49 options = [\ 51 options = [\
50 ("--config=configDir", 52 ("--config=configDir",
51 "use the given directory as the one containing the config files"), 53 "use the given directory as the one containing the config files"),
52 ] 54 ]
53 appinfo = Startup.makeAppInfo(sys.argv, 55 appinfo = Startup.makeAppInfo(sys.argv,
54 "Eric5 Configure", 56 "Eric5 Configure",
55 "", 57 "",
56 "Configuration editor for eric5", 58 "Configuration editor for eric5",

eric ide

mercurial