context: function EditorSaveDocument(doSaveAs, doSaveCopy){  editorShell.saveDocument(doSaveAs, doSaveCopy);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0bbcf3b03721509c7074e339bdc9a9942e8b1357/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js