1 files changed, 9 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 474bdaf6..3a0e7f9f 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -501,6 +501,15 @@ function chk(s) {
   return x;
 }
 
+function tbx(s) {
+  var x = input(document.createElement("textarea"), s,
+        function(x) { return function(v) { if (x.innerHTML != v) x.innerHTML = v; }; });
+  x.innerHTML = s.data;
+  x.onkeyup = function() { sv(s, x.value) };
+
+  return x;
+}
+
 function addOnChange(x, f) {
   var old = x.onchange;
   x.onchange = function() { old(); f (); };