public void stateChanged(javax.swing.event.ChangeEvent e) { int value = speedSlider.getValue(); // adjust the speed reported to the workspace // so there isn't a big gap between the snap area // and outside the snap area. ev 2/22/07 if (value < -10) { value += 10; } else if (value > 10) { value -= 10; } else { value = 0; } workspace.speedSliderPosition(value / 2); if (org.nlogo.api.Version.isLoggingEnabled()) { org.nlogo.log.Logger.logSpeedSlider(value); } enableLabels(value); workspace.updateManager().nudgeSleeper(); }