rem: saveFilter(); 
add: if (!saveFilter()) return; 
context: function onOk(){    saveFilter();    // parent should refresh filter list..    // this should REALLY only happen when some criteria changes that    // are displayed in the filter dialog, like the filter name    window.arguments[0].refresh = true;    window.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/4b192d81e3a429eb8d923225ab93b42da052d976/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js