add: gCalendarWindow.currentView.refreshEvents( ); 
context: function changeOnlyWorkdayCheckbox( menuindex ) {  var check = document.getElementById( "only-workday-checkbox-" + menuindex ).getAttribute("checked") ;  switch(menuindex){  case 1:    var changemenu = 2 ;    break;  case 2:    var changemenu = 1 ;    break;  default:    return(false);  }  if(check == "true") {    document.getElementById( "only-workday-checkbox-" + changemenu ).setAttribute("checked","true");    gOnlyWorkdayChecked = "true" ;  }  else {    document.getElementById( "only-workday-checkbox-" + changemenu ).removeAttribute("checked");    gOnlyWorkdayChecked = "false" ;  }  gCalendarWindow.currentView.refreshDisplay( );}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/45a393d2a7c294157b0bdea1e89f0a720a06326f/calendar.js/clean/calendar/resources/content/calendar.js