# HG changeset patch # User Adam Chlipala # Date 1325363084 18000 # Node ID 1c8456f0cf8c9baa8907cc0e3dc508b617956749 # Parent dfc854e478bb5695df5ae6d5d5c11f9142cdd1be Undo change to dyn() in runtime system diff -r dfc854e478bb -r 1c8456f0cf8c lib/js/urweb.js --- a/lib/js/urweb.js Sat Dec 31 13:31:00 2011 -0500 +++ b/lib/js/urweb.js Sat Dec 31 15:24:44 2011 -0500 @@ -812,9 +812,9 @@ } else { firstChild = document.createElement("span"); firstChild.innerHTML = html; + runScripts(firstChild); if (x.parentNode) x.parentNode.insertBefore(firstChild, x); - runScripts(firstChild); } };