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