personal editor based on Python and Gtk