A simple GTK+ editor
