SourceEditor::modify_the_text_format() can now use the format_text_* attributes