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