GtkSourceView-4.0 is a source highlighting text widget for GTK+ 3
