eric5_plugininstall.py

changeset 945
8cd4d08fa9f6
parent 896
f855351d5e98
child 1509
c0b5e693b0eb
--- a/eric5_plugininstall.py	Fri Mar 11 08:55:14 2011 +0100
+++ b/eric5_plugininstall.py	Fri Mar 11 16:51:57 2011 +0100
@@ -22,6 +22,7 @@
 
 from Utilities import Startup
 
+
 def createMainWidget(argv):
     """
     Function to create the main widget.
@@ -32,13 +33,14 @@
     from PluginManager.PluginInstallDialog import PluginInstallWindow
     return PluginInstallWindow(argv[1:])
 
+
 def main():
     """
     Main entry point into the application.
     """
     options = [\
-        ("--config=configDir", 
-         "use the given directory as the one containing the config files"), 
+        ("--config=configDir",
+         "use the given directory as the one containing the config files"),
         ("", "names of plugins to install")
     ]
     appinfo = Startup.makeAppInfo(sys.argv,

eric ide

mercurial