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

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
line wrap: on
line diff
--- a/lib/ur/basis.urs	Fri Nov 30 09:50:00 2012 -0500
+++ b/lib/ur/basis.urs	Fri Nov 30 10:02:13 2012 -0500
@@ -883,7 +883,7 @@
 val hidden : formTag string [] [Id = string, Value = string]
 val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
                                   Ontext = transaction unit] ++ boxAttrs)
-val password : formTag string [] ([Value = string, Size = int] ++ boxAttrs)
+val password : formTag string [] ([Value = string, Size = int, Placeholder = string] ++ boxAttrs)
 val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
                                    Ontext = transaction unit] ++ boxAttrs)