rem: refreshEventTree( false ); 
add: refreshEventTree( getAndSetEventTable() ); 
context: function onResponseAndRefresh( ){   //check to make sure this is a real calendar file first.   //if its not, it causes Mozilla to crash.   if( request.responseText.indexOf( "BEGIN:VCALENDAR" ) == -1 )   {      return;   }   //save the stream to a file.   saveDataToFile( calendarToGet.getAttribute( "http://home.netscape.com/NC-rdf#path" ), request.responseText, "UTF-8" );      gCalendarWindow.calendarManager.removeCalendar( calendarToGet );   if( calendarToGet.getAttribute( "http://home.netscape.com/NC-rdf#active" ) == "true" )   {      gCalendarWindow.calendarManager.addCalendar( calendarToGet.getAttribute( "http://home.netscape.com/NC-rdf#path" ) );      calendarToGet = null;   }   refreshEventTree( false );   refreshToDoTree( false );   gCalendarWindow.currentView.refreshEvents();   //document.getElementById( "calendar-list-image-"+calendarToGet.getAttribute( "http://home.netscape.com/NC-rdf#serverNumber" ) ).removeAttribute( "synching" );}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/09cbe4e3f29b2ba9c29d46bd7f77cd92d26329dd/calendarManager.js/buggy/calendar/resources/content/calendarManager.js