rem: if (window.editorShell) { dump("Exiting\n"); window.editorShell.Exit(); } 
add: dump("Exiting\n"); editorShell.Exit(); 
context: function EditorExit(){    if (window.editorShell) {	    dump("Exiting\n");      window.editorShell.Exit();    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8f1b0f0e2f48f83a0ca1fc5b895d4b1c08312577/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js