rem: dump(aCharset); 
context: function EditorSetDocumentCharacterSet(aCharset){  if(editorShell)   {    editorShell.SetDocumentCharacterSet(aCharset);    if((! editorShell.documentModified) &&       editorShell.editorDocument.location != "about:blank")    {      dump(aCharset);      editorShell.LoadUrl(editorShell.editorDocument.location);    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6dfdc863552cdbb8b32f49354e94cd45af6b92e3/editor.js/buggy/editor/ui/composer/content/editor.js