def _layOutWidgets(self):
self.pane = gtk.VPaned()
self.pane.pack1(framed(scrolled(self.log_widget)), resize=True)
self.pane.pack2(framed(scrolled(self.queue_widget)), resize=True)
self.vbox = gtk.VBox()
self.vbox.set_border_width(2)
self.vbox.pack_start(framed(self.plotter), expand=False)
self.vbox.pack_end(self.pane)
self.vbox2 = gtk.VBox()
self.vbox2.pack_start(self.ui.get_widget('/menubar'), expand=False)
self.vbox2.pack_start(self.vbox, expand=True)
self.vbox2.pack_end(self.statusbar, expand=False)
self.add(self.vbox2)
if self.prefs.remember_sizes:
self.set_default_size(
self.prefs.window_width, self.prefs.window_height)
self.pane.set_position(self.prefs.divider_position)
else:
self.set_default_size(550, 600)
def __init__(self, prefs):
gtk.Window.__init__(self, gtk.WINDOW_TOPLEVEL)
self.set_default_size(500, 200)
self.set_title(_("Exim processes"))
self.statusbar = gtk.Statusbar()
self.statusbar.push(0, '')
self.process_widget = ProcessWidget(self.statusbar, prefs)
vbox = gtk.VBox()
vbox.pack_start(scrolled(self.process_widget))
vbox.pack_end(self.statusbar, expand=False)
self.add(framed(vbox))
prefs.subscribe(self.apply_prefs)
