Method toggleHighlight

gui/qt/basiccodeviewerwindow.cpp:37–45

}

void BasicEditor::toggleHighlight()
{
    if (highlighter == nullptr) {
        highlighter = new BasicHighlighter(document());
    } else {
        delete highlighter;
        highlighter = nullptr;
    }
}

int BasicEditor::lineNumberAreaWidth()
{