changeset 1781:25824a0e8bf1

Change propagation of source value to textarea
author Adam Chlipala <adam@chlipala.net>
date Fri, 13 Jul 2012 09:01:01 -0400 (2012-07-13)
parents 85a87f155e7b
children 61c7eb1d3867
files lib/js/urweb.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Jun 23 10:11:33 2012 -0400
+++ b/lib/js/urweb.js	Fri Jul 13 09:01:01 2012 -0400
@@ -937,7 +937,7 @@
 
 function tbx(s) {
     var x = input(document.createElement("textarea"), s,
-                  function(x) { return function(v) { if (x.innerHTML != v) x.innerHTML = v; }; });
+                  function(x) { return function(v) { if (x.value != v) x.value = v; }; });
     x.innerHTML = s.data;
     x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };