rem:  if (menu) { menu.SetCurrentCharset(charset); } 
context: function UpdateCurrentCharset(){    menu = Components.classes['component://netscape/rdf/datasource?name=charset-menu'];    if (menu) {        menu = menu.getService();        menu = menu.QueryInterface(Components.interfaces.nsICurrentCharsetListener);    }    charset = document.commandDispatcher.focusedWindow.content.document.characterSet;    charset = charset.toLowerCase();    if (menu) {        menu.SetCurrentCharset(charset);    }    menuitem = document.getElementById('charset.' + charset);    if (menuitem) {        menuitem.setAttribute('checked', 'true');    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5a58040012b5c625b169e151ea08f25b7c38f786/charsetOverlay.js/buggy/xpfe/global/resources/content/charsetOverlay.js