rem: try { 
add: 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()) { 
context: function onOK() {  if (!('homepage' in parent)) return;  // Replace pipes with commas to look nicer.  parent.homepage = parent.homepage.replace(/\|/g,', ');    try {    // Update the home button tooltip.    top.opener.document.getElementById("home-button").setAttribute("tooltiptext", parent.homepage);  }  catch(ex) {    // Maybe we opened prefs from somewhere else  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d6f9578b98ae7ce0d446bd33dc67631f62b2a617/pref-navigator.js/buggy/browser/components/prefwindow/content/pref-navigator.js