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