| 361 | } |
| 362 | |
| 363 | void GuiApplication::execWorkspaceSettingsDialog(QWidget* parent) noexcept { |
| 364 | // Note: We have to pass mTheme as a pointer since the theme may change |
| 365 | // while the settings dialog is open. |
| 366 | WorkspaceSettingsDialog dlg(mWorkspace, mTheme, parent); |
| 367 | connect(&dlg, &WorkspaceSettingsDialog::desktopIntegrationStatusChanged, this, |
| 368 | &GuiApplication::updateDesktopIntegrationNotification); |
| 369 | dlg.exec(); |
| 370 | } |
| 371 | |
| 372 | void GuiApplication::addExampleProjects(QWidget* parent) noexcept { |
| 373 | const QString msg = |