# HG changeset patch
# Parent aadfc1a138d8a04788a43767389deb77276c9066
Add username tag, added Placeholder attribute to password

diff -r aadfc1a138d8 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Mon Oct 22 01:49:22 2012 +0400
+++ b/lib/ur/basis.urs	Sun Nov 18 06:31:53 2012 -0600
@@ -882,7 +882,8 @@
 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 username : formTag string [] ([Value = string, Size = int, Placeholder = string] ++ 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)
 
diff -r aadfc1a138d8 src/monoize.sml
--- a/src/monoize.sml	Mon Oct 22 01:49:22 2012 +0400
+++ b/src/monoize.sml	Sun Nov 18 06:31:53 2012 -0600
@@ -3600,6 +3600,7 @@
                                    fm))
                            | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                    raise Fail "No name passed to textbox tag"))
+                      | "username" => input "text"
                       | "password" => input "password"
                       | "textarea" =>
 			(case targs of