rem: if (charset.length > 0) { menu.SetCurrentMailCharset(charset); 
add: if (charset.length > 0 && (charset != gLastCurrentCharset)) { gCharsetMenu.SetCurrentMailCharset(charset); gLastCurrentCharset = charset; 
context: function mailCharsetLoadListener (event){    var menu = Components.classes['@mozilla.org/rdf/datasource;1?name=charset-menu'];    if (menu) {        menu = menu.getService();        menu = menu.QueryInterface(Components.interfaces.nsICurrentCharsetListener);                if (msgWindow) {            var charset = msgWindow.mailCharacterSet;            if (charset.length > 0) {                menu.SetCurrentMailCharset(charset);                dump("mailCharsetLoadListener: " + charset + " \n");            }        }    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/10416e08932662a88ae2f170290e47cfb52e9020/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js