A tiny simple source code editor written in Python