|
|
@ -65,11 +65,15 @@ class UpdateBox(gtk.VBox): |
|
|
|
close_button.set_relief(gtk.RELIEF_NONE) |
|
|
|
close_button.set_relief(gtk.RELIEF_NONE) |
|
|
|
close_button.connect('clicked', self.hide) |
|
|
|
close_button.connect('clicked', self.hide) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
add_button = gtk.Button(stock=gtk.STOCK_OK) |
|
|
|
|
|
|
|
add_button.set_relief(gtk.RELIEF_NONE); |
|
|
|
|
|
|
|
|
|
|
|
status_bar = gtk.HBox(False, 0) |
|
|
|
status_bar = gtk.HBox(False, 0) |
|
|
|
status_bar.pack_start(self._update_status, expand=True, fill=False, |
|
|
|
status_bar.pack_start(self._update_status, expand=True, fill=False, |
|
|
|
padding=0) |
|
|
|
padding=0) |
|
|
|
status_bar.pack_start(self._update_info, expand=True, fill=False, |
|
|
|
status_bar.pack_start(self._update_info, expand=True, fill=False, |
|
|
|
padding=0) |
|
|
|
padding=0) |
|
|
|
|
|
|
|
status_bar.pack_start(add_button, expand=false, fill=False, padding=0) |
|
|
|
status_bar.pack_start(close_button, expand=False, fill=False, |
|
|
|
status_bar.pack_start(close_button, expand=False, fill=False, |
|
|
|
padding=0) |
|
|
|
padding=0) |
|
|
|
|
|
|
|
|
|
|
|