Mercurial > urweb

comparison lib/ur/basis.urs @ 1835:a8b273f1f7e3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
author Adam Chlipala <adam@chlipala.net>
date Fri, 30 Nov 2012 10:02:13 -0500
parents 373e2c3f03b2
children e15234fbb163
comparison
equal deleted inserted replaced
1834:690638bd9fef 1835:a8b273f1f7e3
881 nm :: Name -> unit 881 nm :: Name -> unit
882 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty] 882 -> tag attrs ([Form] ++ ctx) inner [] [nm = ty]
883 val hidden : formTag string [] [Id = string, Value = string] 883 val hidden : formTag string [] [Id = string, Value = string]
884 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit, 884 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
885 Ontext = transaction unit] ++ boxAttrs) 885 Ontext = transaction unit] ++ boxAttrs)
886 val password : formTag string [] ([Value = string, Size = int] ++ boxAttrs) 886 val password : formTag string [] ([Value = string, Size = int, Placeholder = string] ++ boxAttrs)
887 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit, 887 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
888 Ontext = transaction unit] ++ boxAttrs) 888 Ontext = transaction unit] ++ boxAttrs)
889 889
890 val checkbox : formTag bool [] ([Checked = bool] ++ boxAttrs) 890 val checkbox : formTag bool [] ([Checked = bool] ++ boxAttrs)
891 891