Anubis / Xlib

Commit 5d663327a20784a17f23a7430f0c1fe7eeebe835

Authored by Steve MARECHAL
1 parent 89100c1c

text input modified ( maybe(wan) instead of wan)

Showing 1 changed file with 8 additions and 2 deletions   Show diff stats
Inline Side-by-side
calexium_lib/web/CXM_making_a_web_site.anubis
  Show/Hide comments   View file @5d66332
@@ -1037,7 +1037,7 @@ public type HTML_In_Form: @@ -1037,7 +1037,7 @@ public type HTML_In_Form:
1037 foreign_link (List(Text_Option), String url, String name), 1037 foreign_link (List(Text_Option), String url, String name),
1038 private_download (String abs_path, String name, String extra_ext, 1038 private_download (String abs_path, String name, String extra_ext,
1039 Maybe((String,List((String,String)))) action), 1039 Maybe((String,List((String,String)))) action),
1040 - text_input (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 1040 + text_input (List(InputAttrs), String label_text, HtmlId id, Maybe(WebArgName) name, InitialValue init, Int width),
1041 text_input_ro (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 1041 text_input_ro (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width),
1042 password_input (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width), 1042 password_input (List(InputAttrs), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width),
1043 text_area (List(TextAreaOption), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width, Int height), 1043 text_area (List(TextAreaOption), String label_text, HtmlId id, WebArgName name, InitialValue init, Int width, Int height),
@@ -3966,7 +3966,13 @@ define Printable_tree @@ -3966,7 +3966,13 @@ define Printable_tree
3966 format(cinfo,sn,ic_v,any_private_download(url,name,extra,action),format_element,is_https), 3966 format(cinfo,sn,ic_v,any_private_download(url,name,extra,action),format_element,is_https),
3967 text_input(options, label_text, id, name, i, w) then 3967 text_input(options, label_text, id, name, i, w) then
3968 [ maybe_label(label_text, id), 3968 [ maybe_label(label_text, id),
3969 - "<input type=\"text\" name=\"",name,"\" id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"], 3969 + "<input type=\"text\"", if name is
  3970 + {
  3971 + failure then [""],
  3972 + success(the_name) then [" name=\"",the_name,"\""]
  3973 + },
  3974 + " id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"],
  3975 +
3970 text_input_ro(options, label_text, id, name,i,w) then 3976 text_input_ro(options, label_text, id, name,i,w) then
3971 [ maybe_label(label_text, id), 3977 [ maybe_label(label_text, id),
3972 "<input readonly=\"readonly\" type=\"text\" name=\"",name,"\" id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"], 3978 "<input readonly=\"readonly\" type=\"text\" name=\"",name,"\" id=\"",id,"\" size=\"",w,"\" value=\"",i,"\"",format_attrs(options)," />"],