Text widget that extends GTK3's GtkTextView widget (v3)
