add: } 
context:   function EditorUndo()  {    if (appCore) {	    dump("Undoing\n");      appCore.undo();    }  }
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/e11fb63db9c449f5b8f3532e59ec06858ddc8a59/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js