gnome-text-editor: gnome-text-editor (A simple text editor)
gnome-text-editor:
gnome-text-editor: GNOME 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 even if
gnome-text-editor: you quit the application. You can come back to your work even if 
gnome-text-editor: you've never saved it 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: