--- a/lib/menu.py Sat Feb 07 05:12:57 2009 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-"""
- Handling the list of available pages
-"""
-
-# for page_list
-from page_tree import page_tree
-
-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_tree.get_page(page.url)
-
- # the selected pagen's inheritance
- self.ancestry = self.page.get_ancestry() if self.page else []
-
- # list of menu items == root children, since we always show the full menu...
- self.items = page_tree.root.children
-