comparison: src/eric7/eric7_ide.py
src/eric7/eric7_ide.py
- branch
- eric7
- changeset 11034
- 7b8a21fd2d58
- parent 10955
- 0cc20e930444
- child 11045
- 72202235e0bb
equal
deleted
inserted
replaced
439 args.no_crash, |
439 args.no_crash, |
440 args.disable_crash, |
440 args.disable_crash, |
441 restartArgs, |
441 restartArgs, |
442 originalPathString, |
442 originalPathString, |
443 ) |
443 ) |
|
444 app.setMainWindow(mainWindow=mainWindow) |
444 app.lastWindowClosed.connect(app.quit) |
445 app.lastWindowClosed.connect(app.quit) |
445 mainWindow.show() |
446 mainWindow.show() |
446 |
447 |
447 QTimer.singleShot(0, uiStartUp) |
448 QTimer.singleShot(0, uiStartUp) |
448 |
449 |