/** Enables the speed slider. */
 public void enableSpeedSlider() {
   speedSlider.setEnabled(true);
 }
 /** Disables the speed slider. */
 public void disableSpeedSlider() {
   speedSlider.setEnabled(false);
 }