import gtk
+import pango
import pty
import string
import time
self.connect("cursor-moved", self.contents_changed)
self.connect("child-exited", lambda *w: gtk.main_quit())
+ fontdesc = pango.FontDescription("monospace 9")
+ self.set_font(fontdesc)
+
+
def contents_changed(self, term):
c,r = term.get_cursor_position()