# HG changeset patch # User Adam Chlipala # Date 1342964537 14400 # Node ID 56b8efff64e7eacd2116d5a2957cea8d3ad3534c # Parent 2e01a36701ebd03246d263f46a7ba06f956ac6a3 Nicer semantics diff -r 2e01a36701eb -r 56b8efff64e7 lib/js/urweb.js --- a/lib/js/urweb.js Sat Jul 21 21:07:15 2012 -0400 +++ b/lib/js/urweb.js Sun Jul 22 09:42:17 2012 -0400 @@ -803,7 +803,6 @@ var dummy = document.createElement("body"); dummy.innerHTML = "" + html + "

"; - runScripts(dummy); var table = x.parentNode; if (table) { @@ -831,12 +830,12 @@ for (var node = tbody.firstChild; node; node = next) { next = node.nextSibling; table.insertBefore(node, x); + runScripts(node); } } } else if (pnode == "tr") { var dummy = document.createElement("body"); dummy.innerHTML = "" + html + "

"; - runScripts(dummy); var table = x.parentNode; if (table) { @@ -854,14 +853,15 @@ for (var node = tr.firstChild; node; node = next) { next = node.nextSibling; table.insertBefore(node, x); + runScripts(node); } } } else { firstChild = document.createElement("span"); firstChild.innerHTML = html; - runScripts(firstChild); if (x.parentNode) x.parentNode.insertBefore(firstChild, x); + runScripts(firstChild); } }; diff -r 2e01a36701eb -r 56b8efff64e7 tests/activeFocus.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/activeFocus.ur Sun Jul 22 09:42:17 2012 -0400 @@ -0,0 +1,18 @@ +fun main () : transaction page = + i <- fresh; + return + + + Done}/> + + +fun dynamic () : transaction page = + x <- source ; + return + +