Method setTheme

MiniZincIDE/mainwindow.cpp:2493–2506

}

void MainWindow::setTheme(const Theme& theme, bool dark)
{
    darkMode = dark;
    for (int i=0; i<ui->tabWidget->count(); i++) {
        CodeEditor* ce = qobject_cast<CodeEditor*>(ui->tabWidget->widget(i));
        if (ce) {
            ce->setTheme(theme, darkMode);
        }
    }
    ui->outputWidget->setTheme(theme, darkMode);
    if (conductor != nullptr) {
        conductor->setDarkMode(darkMode);
    }
}

void MainWindow::initTheme()
{