A text editor written in Python