public override void updateVarFlagSummary(VarFlagSummary varFlagSummary)
{
timersListDataControl.updateVarFlagSummary(varFlagSummary);
globalStatesListDataControl.updateVarFlagSummary(varFlagSummary);
macrosListDataControl.updateVarFlagSummary(varFlagSummary);
}