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