Method startExecution

MiniZincIDE/outputwidget.cpp:128–157

}

void OutputWidget::startExecution(const QString& label)
{
    _checkerOutput.clear();

    TextLayoutLock lock(this);
    auto c = ui->textBrowser->textCursor();
    c.movePosition(QTextCursor::End);

    // Create table containing heading
    auto* table = c.insertTable(1, 3, _headerTableFormat);

    auto leftSideCursor = table->cellAt(0, 0).firstCursorPosition();
    leftSideCursor.insertText(QString(QChar::ObjectReplacementCharacter), _arrowFormat);

    auto headerCursor = table->cellAt(0, 1).firstCursorPosition();
    headerCursor.insertText(label, noticeCharFormat());

    auto rightSideCursor = table->cellAt(0, 2).firstCursorPosition();
    rightSideCursor.setBlockFormat(_rightAlignBlockFormat);
    _statusCursor = rightSideCursor;

    // Create frame which will contain children
    c.movePosition(QTextCursor::End);
    _frame = c.insertFrame(_frameFormat);

    _hadServerUrl = false;

    _solutionCount = 0;
    _effectiveSolutionLimit = _solutionLimit;
}

void OutputWidget::associateProfilerExecution(int executionId)
{