rem: !tabbrowser.selectedBrowser.contentDocument.body.hasChildNodes()) 
add: !tabbrowser.selectedBrowser.contentDocument.body.hasChildNodes() && !tabbrowser.selectedTab.hasAttribute("busy")) 
context: function undoCloseTab(aIndex) {  // wallpaper patch to prevent an unnecessary blank tab (bug 343895)  var tabbrowser = getBrowser();  var blankTabToRemove = null;  if (tabbrowser.tabContainer.childNodes.length == 1 &&      !gPrefService.getBoolPref("browser.tabs.autoHide") &&      tabbrowser.selectedBrowser.sessionHistory.count < 2 &&      tabbrowser.selectedBrowser.currentURI.spec == "about:blank" &&      !tabbrowser.selectedBrowser.contentDocument.body.hasChildNodes())    blankTabToRemove = tabbrowser.selectedTab;  var ss = Cc["@mozilla.org/browser/sessionstore;1"].           getService(Ci.nsISessionStore);  if (ss.getClosedTabCount(window) == 0)    return;  ss.undoCloseTab(window, aIndex || 0);  if (blankTabToRemove)    tabbrowser.removeTab(blankTabToRemove);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a395042d65b04d15a26b181cb2c814adf79b689b/browser.js/buggy/browser/base/content/browser.js