rem: appCore.SetDocumentCharset(aCharset); 
add: getMarkupDocumentViewer().defaultCharacterSet = aCharset; 
context: function BrowserSetDefaultCharacterSet(aCharset){  appCore.SetDocumentCharset(aCharset);  getWebNavigation().reload(nsIWebNavigation.LOAD_FLAGS_NONE);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/9603b030e8e098a3b56851d34f16ce86dcf21146/navigator.js/buggy/suite/browser/navigator.js