a very simple text editor