GtkTextView widget for GTK+3