 filterList.removeFilter(filter); refresh(); 
} refresh(); 
function onDeleteFilter(){    var filter = currentFilter();    if (!filter) return;    var filterList = currentFilterList();    if (!filterList) return;    if (gPromptService) {      if (!gPromptService.confirm(window, null,                                  gFilterBundle.getString("deleteFilterConfirmation")))        return;    }    filterList.removeFilter(filter);    refresh();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/7d2f6caccdc4e37955b4c3ed61ead606f66fb085/FilterListDialog.js/buggy/mail/base/content/FilterListDialog.js