rem: var charset = window._content.document.characterSet; 
add: var charset = window.content.document.characterSet; 
context: function charsetLoadListener (event){    var charset = window._content.document.characterSet;    if (charset.length > 0 && (charset != gLastBrowserCharset)) {        if (!gCharsetMenu)          gCharsetMenu = Components.classes['@mozilla.org/rdf/datasource;1?name=charset-menu'].getService().QueryInterface(Components.interfaces.nsICurrentCharsetListener);        gCharsetMenu.SetCurrentCharset(charset);        gPrevCharset = gLastBrowserCharset;        gLastBrowserCharset = charset;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/674a68cf21dc40d57fb4daf94777d468932666f2/browser.js/clean/browser/base/content/browser.js