Method refreshTheme

MiniZincIDE/ide.cpp:688–708

}

void IDE::refreshTheme()
{
    auto& theme = themeManager->current();
    bool darkMode = darkModeNotifier->darkMode();
    static_cast<CodeEditor*>(cheatSheet->centralWidget())->setTheme(theme, darkMode);

    if (!darkModeNotifier->hasNativeDarkMode()) {
        // No native dark widgets, so use stylesheet instead
        if (darkMode) {
            QFile sheet(":/dark_mode.css");
            sheet.open(QFile::ReadOnly);
            qApp->setStyleSheet(sheet.readAll());
        } else {
            qApp->setStyleSheet("");
        }
    }

    for (auto* mw : qAsConst(mainWindows)) {
        mw->setTheme(theme, darkMode);
    }
}