rem: }; 
add: } 
context: qx.Proto._updateDatePane = function() {  var DateChooser = qx.ui.component.DateChooser;  var today = new Date();  var todayYear     = today.getFullYear();  var todayMonth    = today.getMonth();  var todayDayOfMonth = today.getDate();  var selDate = this.getDate();  var selYear     = (selDate == null) ? -1 : selDate.getFullYear();  var selMonth    = (selDate == null) ? -1 : selDate.getMonth();  var selDayOfMonth = (selDate == null) ? -1 : selDate.getDate();  var shownMonth = this.getShownMonth();  var shownYear  = this.getShownYear();  var startOfWeek = this.getStartOfWeek();  // Create a help date that points to the first of the current month  var helpDate = new Date(this.getShownYear(), this.getShownMonth(), 1);  this._monthYearLabel.setHtml(DateChooser.MONTH_YEAR_FORMAT.format(helpDate));  // Show the day names  var firstDayOfWeek = helpDate.getDay();  var firstSundayInMonth = (1 + 7 - firstDayOfWeek) % 7;  for (var i = 0; i < 7; i++) {    var day = (i + startOfWeek) % 7;    var dayLabel = this._weekdayLabelArr[i];    helpDate.setDate(firstSundayInMonth + day);    dayLabel.setHtml(DateChooser.WEEKDAY_FORMAT.format(helpDate));    if (this._isWeekend(day)) {      dayLabel.addState(DateChooser.STATE_WEEKEND);    } else {      dayLabel.removeState(DateChooser.STATE_WEEKEND);    }  }  // Show the days  helpDate = new Date(shownYear, shownMonth, 1);  var nrDaysOfLastMonth = (7 + firstDayOfWeek - startOfWeek) % 7;  helpDate.setDate(helpDate.getDate() - nrDaysOfLastMonth);  for (var week = 0; week < 6; week++) {    this._weekLabelArr[week].setHtml(DateChooser.WEEK_FORMAT.format(helpDate));    for (var i = 0; i < 7; i++) {      var dayLabel = this._dayLabelArr[week * 7 + i];      var year     = helpDate.getFullYear();      var month    = helpDate.getMonth();      var dayOfMonth = helpDate.getDate();      var isSelectedDate = (selYear == year && selMonth == month && selDayOfMonth == dayOfMonth);      if (isSelectedDate) {        dayLabel.addState(DateChooser.STATE_SELECTED);      } else {        dayLabel.removeState(DateChooser.STATE_SELECTED);      }      if (month != shownMonth) {        dayLabel.addState(DateChooser.STATE_OTHER_MONTH);      } else {        dayLabel.removeState(DateChooser.STATE_OTHER_MONTH);      }      var isToday = (year == todayYear && month == todayMonth && dayOfMonth == todayDayOfMonth);      if (isToday) {        dayLabel.addState(DateChooser.STATE_TODAY);      } else {        dayLabel.removeState(DateChooser.STATE_TODAY);      }      dayLabel.setHtml("" + dayOfMonth);      dayLabel.dateTime = helpDate.getTime();      // Go to the next day      helpDate.setDate(helpDate.getDate() + 1);    }  }};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/DateChooser.js/buggy/qooxdoo/source/script/qx/ui/component/DateChooser.js