/**
* From the "animationInfo" set of animation properties, set all these values into all the
* Animation objects held as memeber data.
*
* @param transfer AnimationInfo to get properties from
*/
public void setProperties(AnimationInfo transfer) {
setBoxPanelVisible(transfer.getBoxesVisible());
animationInfo.set(transfer);
setSharing(animationInfo.shared);
if (animationInfo.getAnimationGroup() != null) {
setShareGroup(animationInfo.getAnimationGroup());
}
if (propertiesDialog != null) {
propertiesDialog.setInfo(animationInfo);
}
try {
if (anime != null) {
anime.setAnimationInfo(animationInfo);
DisplayMaster displayMaster = anime.getDisplayMaster();
if (displayMaster != null) {
displayMaster.dataChange();
} else {
if (getAnimationSetInfo().getActive()) {
anime.setSet(getAnimationSetInfo().makeTimeSet(null));
} else {
anime.setSet(getAnimationSetInfo().getBaseTimes());
}
}
}
} catch (Exception exp) {
LogUtil.logException("Error setting properties", exp);
}
updateRunButton();
checkAutoUpdate();
}
/**
* Set the times that should be used. If this is set we don't go to the displaymaster to get the
* times.
*
* @param times List of times
* @throws RemoteException On badness
* @throws VisADException On badness
*/
public void setBaseTimes(Set times) throws VisADException, RemoteException {
getAnimationSetInfo().setBaseTimes(times);
if (times != null) {
if (anime != null) {
if (getAnimationSetInfo().getActive()) {
Set newSet = getAnimationSetInfo().makeTimeSet(null);
anime.setSet(newSet);
} else {
anime.setSet(times);
}
updateIndicator(anime.getSet());
}
} else {
updateIndicator(null);
}
}