From e2b9068b56e352d5e3680fe5e4e0849169c5f419 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 13 Jul 2012 09:01:01 -0400
Subject: Change propagation of source value to textarea

---
 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 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) };
 
-- 
cgit v1.2.3