Simple text editor widget for Python and Pycopy. Further developed in https://github.com/pfalcon/picotui
