/**
* Update the state of the box panel with the animation set
*
* @param timesArray Array of times in set
*/
private void updateBoxPanel(DateTime[] timesArray) {
if (boxPanel != null) {
boxPanel.setNumTimes(timesArray.length);
if (anime != null) {
boxPanel.setOnIndex(anime.getCurrent());
}
if (propertiesDialog != null) {
propertiesDialog.boxPanel.applyProperties(this.boxPanel);
}
}
}
