A text editor
