Simple text editor widget for Python and Pycopy. Further developed in https://github.com/pfalcon/picotui - View it on GitHub