code editor for GNOME
