/**
* THis allows external code to set the time. It sets the time on the animation and it does a
* doShare.
*
* @param time The time
*/
public void setTimeFromUser(Real time) {
anime.setAniValue(time);
// shareValue(time);
shareValue();
}
/**
* We got the tiem from another animation widget.
*
* @param time The time.
*/
protected void handleSharedTime(Real time) {
if (anime != null) {
anime.setAniValue(time);
}
}