A text widget implementing syntax highlighting and other features
