|
|
@ -222,7 +222,7 @@ class Interface(object): |
|
|
|
grid = self._create_grid() |
|
|
|
grid = self._create_grid() |
|
|
|
(menu, toolbar, accelerators) = self._create_menu_and_toolbar() |
|
|
|
(menu, toolbar, accelerators) = self._create_menu_and_toolbar() |
|
|
|
update_field = self._create_update_box() |
|
|
|
update_field = self._create_update_box() |
|
|
|
statusbar = self._create_statusbar() |
|
|
|
#statusbar = self._create_statusbar() |
|
|
|
|
|
|
|
|
|
|
|
update_box = gtk.VPaned() |
|
|
|
update_box = gtk.VPaned() |
|
|
|
update_box.pack1(grid, resize=True, shrink=False) |
|
|
|
update_box.pack1(grid, resize=True, shrink=False) |
|
|
@ -231,7 +231,7 @@ class Interface(object): |
|
|
|
box = gtk.VBox(False, 1) |
|
|
|
box = gtk.VBox(False, 1) |
|
|
|
box.pack_start(menu, False, True, 0) |
|
|
|
box.pack_start(menu, False, True, 0) |
|
|
|
box.pack_start(update_box, True, True, 0) |
|
|
|
box.pack_start(update_box, True, True, 0) |
|
|
|
box.pack_start(statusbar, False, False, 0) |
|
|
|
#box.pack_start(statusbar, False, False, 0) |
|
|
|
main_window.add(box) |
|
|
|
main_window.add(box) |
|
|
|
main_window.add_accel_group(accelerators) |
|
|
|
main_window.add_accel_group(accelerators) |
|
|
|
|
|
|
|
|
|
|
|