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