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