diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-07-13 09:01:01 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-07-13 09:01:01 -0400 |
commit | 8c704c35a1c0ed9e83e533f77fb660945d7d42c2 (patch) | |
tree | b210f98844b573eae0a3d5b4c8e38ad99929ac7f | |
parent | fa3cfb20e949b1a77482a2b7c21d7483a3ca5521 (diff) |
Change propagation of source value to textarea
-rw-r--r-- | lib/js/urweb.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 40d080b8..509ff007 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -937,7 +937,7 @@ function chk(s) { 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) }; |