improved SourceEditor::modify_the_text_format() : text is now painted in "default" format and then the new text is modified