add: gReturnInParagraphPrefListener.shutdown(); 
context: function EditorShutdown(){  RemoveToolbarPrefListener();  gCSSPrefListener.shutdown();  try {    var commandManager = GetCurrentCommandManager();    commandManager.removeCommandObserver(gEditorDocumentObserver, "obs_documentCreated");    commandManager.removeCommandObserver(gEditorDocumentObserver, "obs_documentWillBeDestroyed");    commandManager.removeCommandObserver(gEditorDocumentObserver, "obs_documentLocationChanged");  } catch (e) { dump (e); }   }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2e66280faef73e9be218e00758d4eb738395ac83/editor.js/buggy/editor/ui/composer/content/editor.js