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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/dcfc0a011478b301c9b46e7c7af875fbc2b837aa/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js