rem:  var filterList = currentFilterList(); if (filterList) filterList.saveToDefaultFile(); window.close(); 
add:  var filterList = currentFilterList(); if (filterList) filterList.saveToDefaultFile(); window.close(); 
context: function onOk(){    // make sure to save the filter to disk    var filterList = currentFilterList();    if (filterList) filterList.saveToDefaultFile();    window.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/14d4a3683930c90c081ad7c2ce91f0f593bb1126/FilterListDialog.js/clean/mailnews/base/search/resources/content/FilterListDialog.js