gnome-text-editor: gnome-text-editor gnome-text-editor: gnome-text-editor: Text Editor is a simple text editor that focuses on session gnome-text-editor: management.It works hard to keep track of changes and state gnome-text-editor: even if you quit the application. gnome-text-editor: You can come back to your work even if you've never saved it gnome-text-editor: to a file. gnome-text-editor: gnome-text-editor: GNOME Text Editor gnome-text-editor:https://gitlab.gnome.org/GNOME/gnome-text-editor gnome-text-editor: