Leightweight text editor in PyGTK