/** Enables the animation mode buttons. */
 public void enableAnimationModes() {
   animationCombo.setEnabled(true);
   partAnimMenuItem.setEnabled(true);
   fullAnimMenuItem.setEnabled(true);
   noAnimMenuItem.setEnabled(true);
 }
 /** Disables the animation mode buttons. */
 public void disableAnimationModes() {
   animationCombo.setEnabled(false);
   partAnimMenuItem.setEnabled(false);
   fullAnimMenuItem.setEnabled(false);
   noAnimMenuItem.setEnabled(false);
 }