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();
}
