A simple editor in python