Text widget implementing syntax highlighting and other features
