Text Editor made with python and GTK