Optimize highlighting of a large file in a hacky way, by scanning only the seen area.

Highlighting needs to be refactored to be general, and provided by an
external to TextBoxWidget highlighter.