A text widget that adds syntax highlighting to the GtkTextView widget
