Lightweight Python text editor.