rem:   if (gRunFiltersButton.getAttribute("label") == gRunFiltersButton.getAttribute("stoplabel")) { gFilterListMsgWindow.StopUrls(); } 
context:   closeWindow: function()  {    // if we are running, and the user closes the window, stop.    // XXX todo, prompt first, though.    if (gRunFiltersButton.getAttribute("label") == gRunFiltersButton.getAttribute("stoplabel")) {      gFilterListMsgWindow.StopUrls();    }  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/247e3047d9d6ca121cfa105429a5642648975ffc/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js