lib/menu.py
changeset 9 2a47b00f60b0
child 11 fa216534ae45
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/menu.py	Fri Feb 06 23:21:24 2009 +0200
@@ -0,0 +1,23 @@
+"""
+    Handling the list of available pages
+"""
+
+# for page_list
+from page import page_list as _page_list
+
+class Menu (object) :
+    """
+        Contains info needed to render the menu
+    """
+
+    def __init__ (self, page) :
+        """
+            Gather the menu information for the given page
+        """
+
+        # the selected page
+        self.page = page
+        
+        # list of siblings
+        self.siblings = _page_list.get_siblings(page)
+