A very simple text editor