add:  var tabbox = document.getElementById("tablist"); tabbox.setAttribute("selectedIndex", tabbox.selectedIndex);  
context: function calendarFinish(){   finishCalendarUnifinder();      finishCalendarToDoUnifinder();   finishCalendarManager();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7aa972058b16b759a94ac1492e94e4f65f940d25/calendar.js/clean/calendar/resources/content/calendar.js