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