personal modal text editor based on GtkSourceView