diff lib/js/urweb.js @ 1091:6e5463a53c3c

Alter JavaScript lastParent() to play nice with Firebug
author Adam Chlipala <adamc@hcoop.net>
date Fri, 25 Dec 2009 09:24:21 -0500
parents e81434513720
children 118ab9641a64
line wrap: on
line diff
--- a/lib/js/urweb.js	Thu Dec 24 16:35:09 2009 -0500
+++ b/lib/js/urweb.js	Fri Dec 25 09:24:21 2009 -0500
@@ -298,7 +298,7 @@
 }
 
 function lastParent() {
-  var pos = document;
+  var pos = document.body;
 
   while (pos.lastChild && pos.lastChild.nodeType == 1)
     pos = pos.lastChild;