fixed SourceEditor::paintEvent() and improved documentation
Merge branch 'feature109' into dev.
Fixed SourceEditor::paintEvent() and improved the documentation.