Widget that adds syntax highlighting to GtkTextView
