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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/js') 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) }; -- cgit v1.2.3