lightweight Gtk text editor with syntax highlighting
