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