rem: domWin.document.getElementById("home-button").setAttribute("tooltiptext", parent.homepage); 
add: var homeButton = domWin.document.getElementById("home-button"); if (homeButton) homeButton.setAttribute("tooltiptext", parent.homepage); 
context: function onOK() {  if (!('homepage' in parent)) return;  // Replace pipes with commas to look nicer.  parent.homepage = parent.homepage.replace(/\|/g,', ');    var windowManager = Components.classes['@mozilla.org/appshell/window-mediator;1'].getService();  var windowManagerInterface = windowManager.QueryInterface(Components.interfaces.nsIWindowMediator);  var eb = windowManagerInterface.getEnumerator("navigator:browser");  while (eb.hasMoreElements()) {    // Update the home button tooltip.    var domWin = eb.getNext().QueryInterface(Components.interfaces.nsIDOMWindow);    domWin.document.getElementById("home-button").setAttribute("tooltiptext", parent.homepage);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e9c22449c486504a9af38091554b8549dfe7d10e/pref-navigator.js/buggy/browser/components/prefwindow/content/pref-navigator.js