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