self.werr = gobject.io_add_watch(self.job.stderr, gobject.IO_IN | gobject.IO_ERR | gobject.IO_HUP, self.read)
self.displayed = True
-
+
def read(self, f, dir):
l = f.read()
self.buff.insert(self.buff.get_end_iter(), l)
owner.connect('request-window', self.request_win)
def buttons(self):
- if not self.job:
+ if not self.job and not self.win_id:
return ['Run']
if not self.win_id:
return ['-','Kill']
+ if not self.job:
+ return ['Raise','Close']
return ['Raise','Close','Kill']
def get_format(self):