lib/menu.py
changeset 9 2a47b00f60b0
child 11 fa216534ae45
equal deleted inserted replaced
8:0ce1f471e9d7 9:2a47b00f60b0
       
     1 """
       
     2     Handling the list of available pages
       
     3 """
       
     4 
       
     5 # for page_list
       
     6 from page import page_list as _page_list
       
     7 
       
     8 class Menu (object) :
       
     9     """
       
    10         Contains info needed to render the menu
       
    11     """
       
    12 
       
    13     def __init__ (self, page) :
       
    14         """
       
    15             Gather the menu information for the given page
       
    16         """
       
    17 
       
    18         # the selected page
       
    19         self.page = page
       
    20         
       
    21         # list of siblings
       
    22         self.siblings = _page_list.get_siblings(page)
       
    23