summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-29 13:34:03 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-29 13:34:03 -0500
commit9e95b046737ab2da8117eb273f6bb50cca7d43dc (patch)
tree93b8b53446f1bc27c7e471e78b89af67a2c4fcf2 /lib
parentde4f70ffc465a40cef860b944e9afc8335e7d11b (diff)
ctextarea; s/header/include in the manual
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js9
-rw-r--r--lib/ur/basis.urs3
2 files changed, 12 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 (); };
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 02ac0126..ffce96c0 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -734,6 +734,9 @@ con cselect = [Cselect]
val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) cselect
val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] []
+val ctextarea : cformTag ([Value = string, Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
+ Ontext = transaction unit] ++ boxAttrs) []
+
(*** Tables *)
val tabl : other ::: {Unit} -> [other ~ [Body, Table]] => unit