Commit 3b23eec0b1204d9e9d88e65e08facf5a1081592a
1 parent
2ecb5f16
add more default constructor for text_input
Showing
1 changed file
with
2 additions
and
0 deletions
Show diff stats
web/CXM_making_a_web_site.anubis
| @@ -1252,6 +1252,8 @@ public type HTML_In_Form: | @@ -1252,6 +1252,8 @@ public type HTML_In_Form: | ||
| 1252 | 'HTML_In_Form' defines all the elements you may put within a form. We define a | 1252 | 'HTML_In_Form' defines all the elements you may put within a form. We define a |
| 1253 | convenience function: | 1253 | convenience function: |
| 1254 | 1254 | ||
| 1255 | +public define HTML_In_Form text_input(HTML_Label label, HTML_Id id, WebArgName name, InitialValue init, Int width) = text_input([], label, id, name, init, width). | ||
| 1256 | + | ||
| 1255 | public define HTML_In_Form literal(Printable_tree t) = literal_pt(t). | 1257 | public define HTML_In_Form literal(Printable_tree t) = literal_pt(t). |
| 1256 | 1258 | ||
| 1257 | public define HTML_In_Form image(String url) = image([], url, url). | 1259 | public define HTML_In_Form image(String url) = image([], url, url). |