context: function onAccept(){    if (duplicateFilterNameExists(gFilterNameElement.value))    {        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 false;    }    if (!saveFilter()) return false;    // 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;    return true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/de5a02f83447575253142b6399e1e9eddd75a3fb/FilterEditor.js/buggy/mailnews/base/search/resources/content/FilterEditor.js