Simple GTK-based text/HTML editor