rem: if (window == wnd) wnd = window.content; 
add: if (window == wnd) wnd = window._content; 
context: function UpdateCurrentCharset(){    var wnd = document.commandDispatcher.focusedWindow;    if (window == wnd) wnd = window.content;    var charset = wnd.document.characterSet;	dump("Update current charset: " + charset + "\n");    var 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/03ea82871ae0d2b0e52e9f402c89829c8a4feb6a/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js