A simple text-editor written in python and PyGObject