From eab77d1d8c4c6bdc3b7857713c8bc1e5947f58d0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 30 Nov 2012 10:02:13 -0500 Subject: add Placeholder attribute to ; change code generation to set 'type' to 'text' --- lib/js/urweb.js | 2 +- lib/ur/basis.urs | 2 +- src/monoize.sml | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 57a03fb2..cc65ab8f 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -1004,7 +1004,7 @@ function inp(s, name) { 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 --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 339e8f0a..71320a28 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -883,7 +883,7 @@ con formTag = fn (ty :: Type) (inner :: {Unit}) (attrs :: {Type}) => 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 --git a/src/monoize.sml b/src/monoize.sml index 004f69cc..b1cef64b 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3602,7 +3602,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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, _) => -- cgit v1.2.3