eric6_editor.py

changeset 3669
ac84ac3c0f05
parent 3656
441956d8fce5
child 3670
f0cb7579c0b4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/eric6_editor.py	Sat Jul 05 11:41:14 2014 +0200
@@ -0,0 +1,75 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2007 - 2014 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Eric5 Editor.
+
+This is the main Python script that performs the necessary initialization
+of the MiniEditor module and starts the Qt event loop. This is a standalone
+version of the integrated MiniEditor module.
+"""
+
+from __future__ import unicode_literals
+try:  # Only for Py2
+    import Utilities.compatibility_fixes     # __IGNORE_WARNING__
+except (ImportError):
+    pass
+
+import sys
+import os
+
+for arg in sys.argv:
+    if arg.startswith("--config="):
+        import Globals
+        configDir = arg.replace("--config=", "")
+        Globals.setConfigDir(configDir)
+        sys.argv.remove(arg)
+        break
+
+# make ThirdParty package available as a packages repository
+sys.path.insert(2, os.path.join(os.path.dirname(__file__),
+                                "ThirdParty", "Pygments"))
+
+from Globals import AppInfo
+
+from Toolbox import Startup
+
+
+def createMainWidget(argv):
+    """
+    Function to create the main widget.
+    
+    @param argv list of commandline parameters (list of strings)
+    @return reference to the main widget (QWidget)
+    """
+    from QScintilla.MiniEditor import MiniEditor
+    if len(argv) > 1:
+        return MiniEditor(argv[1])
+    else:
+        return MiniEditor()
+
+
+def main():
+    """
+    Main entry point into the application.
+    """
+    options = [
+        ("--config=configDir",
+         "use the given directory as the one containing the config files"),
+        ("", "name of file to edit")
+    ]
+    appinfo = AppInfo.makeAppInfo(sys.argv,
+                                  "Eric5 Editor",
+                                  "",
+                                  "Simplified version of the eric5 editor",
+                                  options)
+    res = Startup.simpleAppStartup(sys.argv,
+                                   appinfo,
+                                   createMainWidget)
+    sys.exit(res)
+
+if __name__ == '__main__':
+    main()

eric ide

mercurial