A simple text editor