rem: unifinderRefresh(); 
add: refreshEventTree( getAndSetEventTable() ); 
context:    observe: function(subject, topic, prefName)   {      // when calendar pref was changed, we reinitialize       switch( prefName )      {         case "calendar.week.start" :            this.CalendarPreferences.calendarWindow.currentView.refresh();            break;         case "calendar.date.format" :            this.CalendarPreferences.calendarWindow.currentView.refresh();            unifinderRefresh();            toDoUnifinderRefresh();         default :            break;      }           //this causes Mozilla to freeze      //firePendingEvents();    }
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/f03a687dd483db01871449df2a5569db28c311f5/rootCalendarPref.js/buggy/calendar/resources/content/pref/rootCalendarPref.js