From 28df28492230ea6c1fce597f95e322d70864d0db Mon Sep 17 00:00:00 2001 From: Julio Biason Date: Sat, 5 Dec 2009 18:58:22 -0200 Subject: [PATCH] More TODOs --- mitterlib/ui/ui_pygtk.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mitterlib/ui/ui_pygtk.py b/mitterlib/ui/ui_pygtk.py index d4fca32..7db3f1d 100644 --- a/mitterlib/ui/ui_pygtk.py +++ b/mitterlib/ui/ui_pygtk.py @@ -227,6 +227,7 @@ class Interface(object): update_box = gtk.VPaned() update_box.pack1(grid, resize=True, shrink=False) 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.pack_start(menu, False, True, 0)