# HG changeset patch # User Adam Chlipala # Date 1354287733 18000 # Node ID a8b273f1f7e32f7920b71bc2c28830c8bd5b3a2f # Parent 690638bd9fefec7b83eaa28d9ccca1ede9805d7a add Placeholder attribute to ; change code generation to set 'type' to 'text' diff -r 690638bd9fef -r a8b273f1f7e3 lib/js/urweb.js --- a/lib/js/urweb.js Fri Nov 30 09:50:00 2012 -0500 +++ b/lib/js/urweb.js Fri Nov 30 10:02:13 2012 -0500 @@ -1004,7 +1004,7 @@ return; var x = input(document.createElement("input"), s, - function(x) { return function(v) { if (x.value != v) x.value = v; }; }, null, name); + function(x) { return function(v) { if (x.value != v) x.value = v; }; }, "text", name); x.value = s.data; x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) }; diff -r 690638bd9fef -r a8b273f1f7e3 lib/ur/basis.urs --- 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) diff -r 690638bd9fef -r a8b273f1f7e3 src/monoize.sml --- a/src/monoize.sml Fri Nov 30 09:50:00 2012 -0500 +++ b/src/monoize.sml Fri Nov 30 10:02:13 2012 -0500 @@ -3602,7 +3602,7 @@ val (ts, fm) = tagStart "input" in ((L'.EStrcat (ts, - (L'.EPrim (Prim.String (" name=\"" ^ name ^ "\" />")), + (L'.EPrim (Prim.String (" type=\"text\" name=\"" ^ name ^ "\" />")), loc)), loc), fm) end | SOME (_, src, _) => @@ -3674,7 +3674,7 @@ val (ts, fm) = tagStart "input" in ((L'.EStrcat (ts, - (L'.EPrim (Prim.String " />"), loc)), + (L'.EPrim (Prim.String " type=\"text\" />"), loc)), loc), fm) end | SOME (_, src, _) =>