diff --git a/calexium_lib/web/CXM_making_a_web_site.anubis b/calexium_lib/web/CXM_making_a_web_site.anubis
index b41e051..fdf4405 100644
--- a/calexium_lib/web/CXM_making_a_web_site.anubis
+++ b/calexium_lib/web/CXM_making_a_web_site.anubis
@@ -915,7 +915,9 @@ public type Actioner_Aspect:
submit (List(CoreAttrs),String text),
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 (String name, Int32 size, List(String) choices).
+ immediate_selector (WebArgName name, Int32 size, List((WebArgValue,String)) choices),
+ immediate_selector (WebArgName name, Int32 size, List((WebArgValue,String)) choices, String selected).
+
public type Actioner_Local_Action:
@@ -989,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 (String name, Int32 size, List(String) choices),
- selector (String name, Int32 size, List(String) choices, String selected),
+ selector (WebArgName name, Int32 size, List(String) choices),
+ selector (WebArgName name, Int32 size, List(String) choices, String selected),
// List((String,String)) = List((code,name)) where :
- // name appears in selector
// code is the web-arg value
- selector_c (String name, Int32 size, List((String,String)) choices),
- selector_c (String name, Int32 size, List((String,String)) choices, String selected),
+ // 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),
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),
@@ -2676,20 +2678,20 @@ public define Printable_tree
public define Printable_tree
format_choices
(
- List((String,String)) l
+ List((WebArgValue,String)) l
) =
if l is
{
[ ] then [ ],
[h . t] then
if h is (val,item)
- then ["