Text widget that extends GTK2's GtkTextView widget
