/** 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);
}