rem: dump("Charset Overlay menu item pressed: " + node.getAttribute('id') + "\n"); BrowserSetDefaultCharacterSet(node.getAttribute('id')); 
add: dump("Charset Overlay menu item pressed: " + charset + "\n"); BrowserSetDefaultCharacterSet(charset); 
context: function SetDefaultCharacterSet(node){	dump("Charset Overlay menu item pressed: " + node.getAttribute('id') + "\n");    BrowserSetDefaultCharacterSet(node.getAttribute('id'));}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7e59ab156c4b3ec55f49f095fe63d51c6d56850e/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js