Method addOutput

MiniZincIDE/mainwindow.cpp:736–743

}

void MainWindow::addOutput(const QString& s, bool html)
{
    if (html) {
        ui->outputWidget->addHtml(s);
    } else {
        ui->outputWidget->addText(s);
    }
}

void MainWindow::on_actionRun_triggered()
{