From 8187b59f6bedc5eeb1033f7fb2afaa128b86aa3f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 31 Dec 2011 15:24:44 -0500 Subject: Undo change to dyn() in runtime system --- lib/js/urweb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } }; -- cgit v1.2.3