|
|
@ -227,6 +227,7 @@ class Interface(object): |
|
|
|
update_box = gtk.VPaned() |
|
|
|
update_box = gtk.VPaned() |
|
|
|
update_box.pack1(grid, resize=True, shrink=False) |
|
|
|
update_box.pack1(grid, resize=True, shrink=False) |
|
|
|
update_box.pack2(update_field, resize=False, shrink=True) |
|
|
|
update_box.pack2(update_field, resize=False, shrink=True) |
|
|
|
|
|
|
|
# TODO: Save the size of the update box in the config file. |
|
|
|
|
|
|
|
|
|
|
|
box = gtk.VBox(False, 1) |
|
|
|
box = gtk.VBox(False, 1) |
|
|
|
box.pack_start(menu, False, True, 0) |
|
|
|
box.pack_start(menu, False, True, 0) |
|
|
|