added SourceEditor::modify_the_text_format() : first draft for the karaoke mode.