diff --git a/calexium_lib/web/CXM_making_a_web_site.anubis b/calexium_lib/web/CXM_making_a_web_site.anubis index fdf4405..a6247b0 100644 --- a/calexium_lib/web/CXM_making_a_web_site.anubis +++ b/calexium_lib/web/CXM_making_a_web_site.anubis @@ -916,7 +916,7 @@ public type Actioner_Aspect: button (String url_off, String url_on), // rollover button button (String url_off, String url_on, Int32 w, Int32 h), // idem with size immediate_selector (WebArgName name, Int32 size, List((WebArgValue,String)) choices), - immediate_selector (WebArgName name, Int32 size, List((WebArgValue,String)) choices, String selected). + immediate_selector (WebArgName name, Int32 size, List((WebArgValue,String)) choices, InitialValue selected). @@ -991,13 +991,13 @@ public type HTML_In_Form: password_input (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int32 width), text_area (List(TextAreaOption), String name, String init, Int32 width, Int32 height), file_upload (String label, HtmlId id, WebArgName name, Int32 width), - selector (WebArgName name, Int32 size, List(String) choices), - selector (WebArgName name, Int32 size, List(String) choices, String selected), + selector (List(InputAttrs), String label_text, HtmlId id, WebArgName name, Int32 size, List(String) choices), + selector (List(InputAttrs), String label_text, HtmlId id, WebArgName name, Int32 size, List(String) choices, InitialValue selected), // List((String,String)) = List((code,name)) where : // code is the web-arg value // name appears in selector - selector_c (WebArgName name, Int32 size, List((WebArgValue,String)) choices), - selector_c (WebArgName name, Int32 size, List((WebArgValue,String)) choices, String selected), + selector_c (List(InputAttrs), String label_text, HtmlId id, WebArgName name, Int32 size, List((WebArgValue,String)) choices), + selector_c (List(InputAttrs), String label_text, HtmlId id, WebArgName name, Int32 size, List((WebArgValue,String)) choices, InitialValue selected), radio_button (List(InputAttrs), String label_text, HtmlId id, WebArgName name, WebArgValue value, Bool checked), radio_button_r (List(InputAttrs), String label_text, HtmlId id, WebArgName name, WebArgValue value, Bool checked), check_box (List(InputAttrs), String label_text, HtmlId id, WebArgName name, WebArgValue value, Bool checked), @@ -2664,12 +2664,12 @@ public define Printable_tree format_choices ( List(String) l, - String selected + InitialValue selected ) = if l is { [ ] then [ ], - [h . t] then if h = selected + [h . t] then if h = selected.value then ["