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