rem: if (gLastBrowserCharset) {  menuitem = document.getElementById('charset.' + gLastBrowserCharset); } else {  var wnd = document.commandDispatcher.focusedWindow; if ((window == wnd) || (wnd == null)) wnd = window._content; menuitem = document.getElementById('charset.' + wnd.document.characterSet); } 
add:  var wnd = document.commandDispatcher.focusedWindow; if ((window == wnd) || (wnd == null)) wnd = window._content; menuitem = document.getElementById('charset.' + wnd.document.characterSet); 
context: function UpdateCurrentCharset(){    var menuitem = null;    if (gLastBrowserCharset) {      //avoid looking for the focused window, use the charset last used in charsetLoadListener      menuitem = document.getElementById('charset.' + gLastBrowserCharset);    } else {      //fall-back: when page has not finished loading 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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e968aad6a647f6b1c8e5a1cff1e727c9381990a7/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js