Ejemplo n.º 1
0
 /**
  * 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();
 }
Ejemplo n.º 2
0
 /**
  * We got the tiem from another animation widget.
  *
  * @param time The time.
  */
 protected void handleSharedTime(Real time) {
   if (anime != null) {
     anime.setAniValue(time);
   }
 }