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