diff --git a/web/widgets/left_menu.anubis b/web/widgets/left_menu.anubis index 5d1e611..2b5fef3 100644 --- a/web/widgets/left_menu.anubis +++ b/web/widgets/left_menu.anubis @@ -23,8 +23,18 @@ public type Left_Menu: left_menu( List(Left_Menu_Entry) entries, String selected). - -public define List(HTML_Off_Form) + +public define Left_Menu_Entry + left_menu_entry + ( + String class, + String action, + String text + )= + left_menu_entry(class, action, text, []) + . + +define List(HTML_Off_Form) make_left_menu ( (String) -> String _T, //translator function @@ -46,3 +56,18 @@ public define List(HTML_Off_Form) }, make_left_menu(_T, t, selected, [ entry . so_far]) }. + +public define HTML_Partial_Content + make_left_menu + ( + (String) -> String _T, //translator function + Left_Menu l_menu + )= + if l_menu is + { + no_left_menu then partial_content(empty), + left_menu(entries, selected) then + partial_content([css(css_file("/css/left_menu.css"))], + sequence(make_left_menu(_T, entries, selected, []))) + }. + -- libgit2 0.21.4