def __init__(self, args):
gtk.Window.__init__(self)
self.set_default_size(480, 640)
+ self.connect("destroy", self.close)
self.create_ui()
self.show()
self.args = args
self.set_title(args[0])
self.run()
-
def run(self):
self.pipe = Popen(self.args,
stdout=PIPE, stderr=PIPE,
sw = gtk.ScrolledWindow(); sw.show()
sw.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC)
v.add(sw)
+ self.adj = sw.get_vadjustment()
tv = gtk.TextView()
sw.add(tv)
def read(self, f, dir):
l = f.read()
self.buff.insert(self.buff.get_end_iter(), l)
+ gobject.idle_add(self.adjust)
if l == "":
return False
return True
+ def adjust(self):
+ self.adj.set_value(self.adj.upper-self.adj.page_size)
+
def done(self, *a):
self.rerunb.show()
def set_block(f):
if __name__ == '__main__':
main(sys.argv)
-
-