Text widget that extends GTK3's GtkTextView widget
