rem: var buttonNode = document.getElementById("PersonalToolbar").firstChild; while(buttonNode.tagName != "toolbarseparator") { if(!buttonNode.hasAttribute("hidden") || buttonNode.getAttribute("hidden") == "false") 
add: var buttonNode = document.getElementById("home-bm-separator").previousSibling; while (buttonNode) { if (buttonNode.localName != "tooltip" && !buttonNode.hidden) 
context: function allLeftButtonsAreHidden(){  var buttonNode = document.getElementById("PersonalToolbar").firstChild;  while(buttonNode.tagName != "toolbarseparator") {    if(!buttonNode.hasAttribute("hidden") || buttonNode.getAttribute("hidden") == "false")      return false;    buttonNode = buttonNode.nextSibling;  }  return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/6c77ea443669c47262da0fe22c2eac4ef86a54a2/navigator.js/buggy/suite/browser/navigator.js