Method addText

MiniZincIDE/outputwidget.cpp:287–289

}

void OutputWidget::addText(const QString& text, const QString& messageType) {
    addText(text, QTextCharFormat(), messageType);
}

void OutputWidget::addText(const QString& text, const QTextCharFormat& format, const QString& messageType) {
    TextLayoutLock lock(this);