A simple Python text editor