Slightly better structure to menus

[gregoa/zavai.git] / zavai / menu.py

diff --git a/zavai/menu.py b/zavai/menu.py
index 21559d3877a7a9a4f1a87db17149f70ec895fd18..07c696541dcd458d4910a0fc491857d91bd375dc 100644 (file)
--- a/zavai/menu.py
+++ b/zavai/menu.py
@@ -20,6 +20,11 @@ import sys
 import zavai
 import gtk
 
+class MenuButton(gtk.Button):
+    def __init__(self, *args, **kw):
+        super(MenuButton, self).__init__(*args, **kw)
+        self.set_size_request(0, 80)
+
 class Menu(gtk.VBox, zavai.Resource):
     def __init__(self, registry, name, *args, **kw):
         super(Menu, self).__init__()
@@ -34,13 +39,14 @@ class Menu(gtk.VBox, zavai.Resource):
 
         if parent is not None:
             self.vbox = gtk.VBox()
-            self.pack_start(self.vbox)
-            self.pack_start(registry.menu_link(parent, "Back"), True, True)
+            self.pack_start(self.vbox, False, False)
+            self.pack_start(gtk.Label(""), True, True)
+            self.pack_start(registry.menu_link(parent, "Back"), False, False)
 
     def add_child(self, widget):
-        self.vbox.pack_start(widget, True, True)
+        self.vbox.pack_start(widget, False, False)
 
-class MenuLink(gtk.Button, zavai.Resource):
+class MenuLink(MenuButton, zavai.Resource):
     def __init__(self, registry, targetName, label):
         super(MenuLink, self).__init__(label)
         self.target = "menu." + targetName