delay = Integer.parseInt(delayField.getText());
if (delay < 1 || delay > 9000) {
throw new NumberFormatException();
}
}
EventPlayer eventThread = trustGrapher.getEventPlayer();
if (eventThread != null) { //If the eventThread exists
eventThread.setDelay(delay); //Set the new delay
PlaybackPanel playbackPanel = eventThread.getPlaybackPanel();
if (playbackPanel != null) { //If the playbackPanel exists too
playbackPanel.setScrubMode(scrubButton.isSelected()); //Set the scrub mode
}
}
PropertyManager config = trustGrapher.getPropertyManager(); //Set the properties