rem: var didFindWindow = editorShell.checkOpenWindowForURLMatch(urlToMatch, window) if (didFindWindow) 
add: if (editorShell.checkOpenWindowForURLMatch(urlToMatch, window)) 
context: function FindAndSelectEditorWindowWithURL(urlToMatch){  if (!urlToMatch || urlToMatch.length == 0)    return false;  // returns true if found; false if an error or not found    var windowManager = Components.classes["@mozilla.org/rdf/datasource;1?name=window-mediator"].getService();  if ( !windowManager )    return false;    var windowManagerInterface = windowManager.QueryInterface(Components.interfaces.nsIWindowMediator);  if ( !windowManagerInterface )    return false;  var enumerator = windowManagerInterface.getEnumerator( "composer:html" );  if ( !enumerator )    return false;  while ( enumerator.hasMoreElements() )  {    var window = windowManagerInterface.convertISupportsToDOMWindow( enumerator.getNext() );    if ( window )    {      var didFindWindow = editorShell.checkOpenWindowForURLMatch(urlToMatch, window)	    if (didFindWindow)	    {	      window.focus();	      return true;	    }	  }  }  // not found  return false;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e43ea5f9715787e5f6ef0ad0d902e8875b3bf1df/editor.js/buggy/editor/ui/composer/content/editor.js