fixed a bug in SourceEditor::modify_the_text_format()
format_text_default is now the default appearance of the text