Method lineNumbersWidth

MiniZincIDE/codeeditor.cpp:295–305

}

int CodeEditor::lineNumbersWidth()
{
    int width = 1;
    int bc = blockCount();
    while (bc >= 10) {
        bc /= 10;
        ++width;
    }
    width = std::max(width,3);
    return 3 + fontMetrics().boundingRect(QLatin1Char('9')).width() * width;
}

int CodeEditor::debugInfoWidth()
{