add:  if (currentPanel == CellPanel) CellDataChanged = true; 
context: function SetCheckbox(checkboxID){  // Set associated checkbox  document.getElementById(checkboxID).checked = true;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/0d72a50681b9862c8c5c4aa2b56076837810ac87/EdTableProps.js/buggy/editor/ui/dialogs/content/EdTableProps.js