add:  SetCheckbox(CheckboxID); 
context: function GetColorAndUpdate(ColorPickerID, ColorWellID, widget){  // Close the colorpicker  widget.parentNode.closePopup();  var color = null;  if (ColorPickerID)    color = getColor(ColorPickerID);  SetColor(ColorWellID, color);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/0d72a50681b9862c8c5c4aa2b56076837810ac87/EdTableProps.js/clean/editor/ui/dialogs/content/EdTableProps.js