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