add: updateUndoRedoMenu(); 
context: function endBatchTransaction() {    gTransactionMgr.endBatch();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/15a70f7c1e6a0c956f8b1dedc40b6538b9e5619b/calendar.js/buggy/calendar/resources/content/calendar.js