A simple text editor written in Python