diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-31 15:24:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-31 15:24:44 -0500 |
| commit | 42b0aa7fa319af6493a3bd119ea88bf82827da0a (patch) | |
| tree | d94fa50685fba7ee5efdfe7728738358cbab16b8 /lib | |
| parent | 4e78c1304af5a3bddaa5e9e146b41fb87a108c77 (diff) | |
Undo change to dyn() in runtime system
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/js/urweb.js | 2 |
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); } }; |