A simple programmer's text editor.