rem: var charset = document.commandDispatcher.focusedWindow.document.characterSet; 
add: var wnd = document.commandDispatcher.focusedWindow; if (window == wnd) wnd = window.content;  var charset = wnd.document.characterSet; 
context: function UpdateCurrentCharset(){    var charset = document.commandDispatcher.focusedWindow.document.characterSet;	dump("Update current charset: " + charset + "\n");    var menuitem = document.getElementById('charset.' + charset);    if (menuitem) {        menuitem.setAttribute('checked', 'true');    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/57120eaa68731c35766bf5b6eb25e8c0ae79b5d2/charsetOverlay.js/buggy/xpfe/global/resources/content/charsetOverlay.js