rem: dump("UPdate current mail charset: " + charset + " \n"); 
add: dump("Update current mail charset: " + charset + " \n"); 
context: function UpdateCurrentMailCharset(){    var charset = msgWindow.mailCharacterSet;    dump("UPdate current mail charset: " + charset + " \n");    var menuitem = document.getElementById('charset.' + charset);    if (menuitem) {        menuitem.setAttribute('checked', 'true');    }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/10416e08932662a88ae2f170290e47cfb52e9020/charsetOverlay.js/clean/xpfe/global/resources/content/charsetOverlay.js