add: window.close(); 
context: function onOk(){    saveFilter();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/922e4e59b6e33d2ff22e54cb27be356f461c0d04/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js