Sat, 09 Feb 2013 13:00:50 +0100
Added functionality to refresh the coverage markers of an editor if such are shown.
(grafted from f9a6a512bc1e38615f31a000372246f19ccf76bd)
#!/usr/bin/env python3 # -*- coding: utf-8 -*- # Copyright (c) 2009 - 2013 Detlev Offenbach <detlev@die-offenbachs.de> # """ Eric5 SQL Browser This is the main Python script that performs the necessary initialization of the SQL browser and starts the Qt event loop. """ import sys for arg in sys.argv: if arg.startswith("--config="): import Globals configDir = arg.replace("--config=", "") Globals.setConfigDir(configDir) sys.argv.remove(arg) break 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 SqlBrowser.SqlBrowser import SqlBrowser if len(argv) > 1: connections = argv[1:] else: connections = [] browser = SqlBrowser(connections) return browser def main(): """ Main entry point into the application. """ options = [\ ("--config=configDir", "use the given directory as the one containing the config files"), ] appinfo = AppInfo.makeAppInfo(sys.argv, "Eric5 SQL Browser", "connection", "SQL browser", options) res = Startup.simpleAppStartup(sys.argv, appinfo, createMainWidget) sys.exit(res) if __name__ == '__main__': main()