a simple editor written in python