| 647 mainWindow.setWindowTitle(title()); |
647 mainWindow.setWindowTitle(title()); |
| 648 mainWindow.tabifyDockWidget(ui.messageLogDock, ui.toolOptionsDock); |
648 mainWindow.tabifyDockWidget(ui.messageLogDock, ui.toolOptionsDock); |
| 649 mainWindow.restoreGeometry(setting<Setting::MainWindowGeometry>()); |
649 mainWindow.restoreGeometry(setting<Setting::MainWindowGeometry>()); |
| 650 mainWindow.restoreState(setting<Setting::MainWindowState>()); |
650 mainWindow.restoreState(setting<Setting::MainWindowState>()); |
| 651 // If a dock is made floating and the app is closed, the dock becomes invisible |
651 // If a dock is made floating and the app is closed, the dock becomes invisible |
| 652 // after the restoreState call. So we make them visible again shere. |
652 // after the restoreState call. So we make them visible again here. |
| 653 for (QDockWidget* dock : mainWindow.findChildren<QDockWidget*>()) { |
653 for (QDockWidget* dock : mainWindow.findChildren<QDockWidget*>()) { |
| 654 dock->setVisible(true); |
654 dock->setVisible(true); |
| 655 } |
655 } |
| 656 restoreSettings(); |
656 restoreSettings(); |
| 657 updateRenderPreferences(&ui, &renderPreferences, &documents); |
657 updateRenderPreferences(&ui, &renderPreferences, &documents); |