Text editor for the GNOME desktop