A simple python text editor