10237:17ab17a3e6b3 | 10238:9ea4634a697e |
---|---|
56 | 56 |
57 def main(): | 57 def main(): |
58 """ | 58 """ |
59 Main entry point into the application. | 59 Main entry point into the application. |
60 """ | 60 """ |
61 QGuiApplication.setDesktopFileName("eric7_editor.desktop") | 61 QGuiApplication.setDesktopFileName("eric7_editor") |
62 | 62 |
63 options = [ | 63 options = [ |
64 ( | 64 ( |
65 "--config=configDir", | 65 "--config=configDir", |
66 "use the given directory as the one containing the config files", | 66 "use the given directory as the one containing the config files", |