rem: gEditor.AddDocumentStateListener( DocumentReloadListener ); 
add: gEditor.addDocumentStateListener( DocumentReloadListener ); 
context: function EditorSetDocumentCharacterSet(aCharset){  if (gEditor)  {    gEditor.documentCharacterSet = aCharset;    var docUrl = GetDocumentUrl();    if( !IsUrlAboutBlank(docUrl))    {      // reloading the document will reverse any changes to the META charset,       // we need to put them back in, which is achieved by a dedicated listener      gEditor.AddDocumentStateListener( DocumentReloadListener );      editorShell.LoadUrl(docUrl);    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/ce3eb1aa2a2fce42b55577e14e90384ac210b4d6/editor.js/clean/editor/ui/composer/content/editor.js