add:   if (gPrevCharset) { var pref_item = document.getElementById('charset.' + gPrevCharset); if (pref_item) pref_item.setAttribute('checked', 'false'); } 
context: function UpdateCurrentCharset(){    var menuitem = null;    // exctract the charset from DOM    var wnd = document.commandDispatcher.focusedWindow;    if ((window == wnd) || (wnd == null)) wnd = window._content;    menuitem = document.getElementById('charset.' + wnd.document.characterSet);    if (menuitem) {        menuitem.setAttribute('checked', 'true');    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/b8f325553586d9f3915c2aa34bcf1d0e8b765fbe/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js