GtkSourceView is a text widget
