Method paintEvent

MiniZincIDE/codeeditor.h:134–136

protected:
    void paintEvent(QPaintEvent *event) {
        codeEditor->paintLineNumbers(event);
    }

private:
    CodeEditor *codeEditor;