rem: dump("Charset Overlay menu item pressed: " + charset + "\n"); 
add: dump("Charset Overlay menu item pressed: " + charset + "\n"); 
context: function SetDefaultCharacterSet(charset){	dump("Charset Overlay menu item pressed: " + charset + "\n");    BrowserSetDefaultCharacterSet(charset);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e363d9a25fd5aafe08288cb900cd765dc839b041/charsetOverlay.js/buggy/xpfe/global/resources/content/charsetOverlay.js