rem: promptService.Alert(window, 
add: promptService.alert(window, 
context: function onOk(){    if (isDuplicateFilterNameExists())    {        var promptService = Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService();        promptService = promptService.QueryInterface(Components.interfaces.nsIPromptService);        if (promptService)        {            promptService.Alert(window,                gFilterBundle.getString("cannotHaveDuplicateFilterTitle"),                gFilterBundle.getString("cannotHaveDuplicateFilterMessage")            );        }        return;    }    if (!saveFilter()) return;    // 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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/195816bd8ff89657b37fb4c7de9648e391c85d48/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js