Method setIndentSize

MiniZincIDE/codeeditor.cpp:167–172

}

void CodeEditor::setIndentSize(int size)
{
    indentSize = size;
    QFontMetrics metrics(font());
    setTabStopDistance(metrics.horizontalAdvance(' ') * size);
}

Highlighter& CodeEditor::getHighlighter() {
    return *highlighter;