diff lib/js/urweb.js @ 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 aadfc1a138d8
children e15234fbb163
line wrap: on
line diff
--- 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) };