Mercurial > urweb
changeset 2076:855d7746a084
Remove 'value' attribute of <checkbox>
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 16 Nov 2014 14:06:24 -0500 |
| parents | fde864eacd47 |
| children | 3cd2bd4b1de0 |
| files | lib/ur/basis.urs tests/html5_forms.ur |
| diffstat | 2 files changed, 5 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Nov 16 14:02:17 2014 -0500 +++ b/lib/ur/basis.urs Sun Nov 16 14:06:24 2014 -0500 @@ -960,7 +960,7 @@ val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit, Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) -val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit, Value = string] ++ boxAttrs) +val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit] ++ boxAttrs) type file val fileName : file -> option string
--- a/tests/html5_forms.ur Sun Nov 16 14:02:17 2014 -0500 +++ b/tests/html5_forms.ur Sun Nov 16 14:06:24 2014 -0500 @@ -1,4 +1,7 @@ fun handler r = return <xml><body> + A: {[r.A]}<br/> + B: {[r.B]}<br/> + C: {[r.C]}<br/> </body></xml> fun main () = @@ -6,6 +9,7 @@ <form> <textbox{#A} required placeholder="bobby"/> <textbox{#B} placeholder="soggy" autofocus/> + <checkbox{#C}/> <submit action={handler}/> </form>