add:  editorShell.EndBatchChanges();  
context: function onOK(){ if(ValidateData()) {   if(titleWasEdited) {      editorShell.SetDocumentTitle(title);   }   if(charsetWasChanged)    {      SetMetaElementContent(contenttypeElement, "text/html; charset=" + charset, insertNewContentType);           editorShell.SetDocumentCharacterSet(charset);   }   window.opener.ok = true;   SaveWindowLocation();   return true; } return false; }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/dd590e5fdcf7038b74a4589a98e8515efe39ebb0/EditorSaveAsCharset.js/buggy/editor/ui/dialogs/content/EditorSaveAsCharset.js