A simple text editor for learning