# HG changeset patch # User Adam Chlipala # Date 1398096598 14400 # Node ID 9356e8f91ea40e35bf5bb17407885d353c0db202 # Parent 16f5f136a80749f15fd2cfd0870cc597dbc181e9 Change to avoid generating an empty for empty content diff -r 16f5f136a807 -r 9356e8f91ea4 lib/js/urweb.js --- a/lib/js/urweb.js Thu Apr 17 17:41:24 2014 -0400 +++ b/lib/js/urweb.js Mon Apr 21 12:09:58 2014 -0400 @@ -1009,8 +1009,6 @@ if (suspendScripts) return; - var span = document.createElement("span"); - addNode(span); var ms = maySuspend; maySuspend = false; try { @@ -1020,7 +1018,11 @@ throw e; } maySuspend = ms; - setInnerHTML(span, html); + if (html != "") { + var span = document.createElement("span"); + addNode(span); + setInnerHTML(span, html); + } } function input(x, s, recreate, type, name) { diff -r 16f5f136a807 -r 9356e8f91ea4 tests/activeEmpty.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/activeEmpty.ur Mon Apr 21 12:09:58 2014 -0400 @@ -0,0 +1,5 @@ +fun main () : transaction page = return + }/> +

+ This one ain't empty.}/> +