rem:    this.CalendarWindow.calendarPreferences.calendarPref.setCharPref( "server"+CalendarObject.serverNumber+".name", CalendarObject.name ); 
add: var name = "calendar"+CalendarObject.serverNumber; 
context: calendarManager.prototype.editServerDialogResponse = function calMan_editServerDialogResponse( CalendarObject ){   //the only thing they could have changed is the name.   //get the server number of the calendar   //edit its name.   this.CalendarWindow.calendarPreferences.calendarPref.setCharPref( "server"+CalendarObject.serverNumber+".name", CalendarObject.name );   //get the element and change its label   document.getElementById( "calendar-list-item-"+CalendarObject.serverNumber ).setAttribute( "label", CalendarObject.name );   document.getElementById( "calendar-list-item-"+CalendarObject.serverNumber ).calendarObject = CalendarObject;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/eccfe24949238ab11afd71e280a2c50fe7ee3ea0/calendarManager.js/buggy/calendar/resources/content/calendarManager.js