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 )    {	    if (editorShell.checkOpenWindowForURLMatch(urlToMatch, window))	    {	      window.focus();	      return true;	    }	  }  }  // not found  return false;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/editor.js/clean/editor/ui/composer/content/editor.js