improved SourceEditor::paintEvent() speed