Manual, quick "profile" switch for Gnome Text Editor
Monospaced font, line numbers, no spell checking, no word-wrapping, showing margin, etc are good when the opened file is a code file. But if it is just a plain text memo, all those options are bad.
For a person who wants to use one Gnome Text Editor for all purposes (viewing scripts, writing memos, etc), manually switching them one by one each time he opens different types of text files is time-consuming and inconvenient.
It would be convenient if the user could create some sort of "profiles" with all those options mentioned above, and quickly switch profiles, depending on the text type (not automatically, but by the user's discretion).
Edited by Unknown User