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