summaryrefslogtreecommitdiff
path: root/jslib/urweb.js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-21 12:01:00 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-21 12:01:00 -0500
commit90bac0f10328d81ab18be3726779fed0cf77f8dd (patch)
tree6e44efd218647699174febb6c13df253cb6c582b /jslib/urweb.js
parent532c3154c6db8416b7accd6bc489532f3a9165a7 (diff)
Switch to using dyn() function in JavaScript
Diffstat (limited to 'jslib/urweb.js')
-rw-r--r--jslib/urweb.js6
1 files changed, 6 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js
index 32912e4c..b7a1af91 100644
--- a/jslib/urweb.js
+++ b/jslib/urweb.js
@@ -1 +1,7 @@
function sreturn(v) { return {v : v} }
+
+function dyn(s) {
+ var x = document.createElement("span");
+ x.innerHTML = s.v;
+ document.body.appendChild(x);
+}