A minimal text editor.