summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-31 15:24:44 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-31 15:24:44 -0500
commit42b0aa7fa319af6493a3bd119ea88bf82827da0a (patch)
treed94fa50685fba7ee5efdfe7728738358cbab16b8 /lib/js
parent4e78c1304af5a3bddaa5e9e146b41fb87a108c77 (diff)
Undo change to dyn() in runtime system
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 8b6e2a75..ba73e744 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -812,9 +812,9 @@ function dyn(pnode, s) {
} else {
firstChild = document.createElement("span");
firstChild.innerHTML = html;
+ runScripts(firstChild);
if (x.parentNode)
x.parentNode.insertBefore(firstChild, x);
- runScripts(firstChild);
}
};