add: document.getElementById( "only-workday-checkbox-1" ).setAttribute( "disabled", "true" ); document.getElementById( "only-workday-checkbox-2" ).setAttribute( "disabled", "true"  ); 
context: MonthView.prototype.switchFrom = function monthView_switchFrom( ){   }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/aa16cc7da9b1ccb4d128fa79d186b2696dc89725/monthView.js/buggy/calendar/resources/content/monthView.js