+ private void updatePausedState()
+ {
+ setPauseText(pauseButton, false);
+ if (exec != null)
+ if (pauseButton.getSelection())
+ exec.unpauseLiveExecution();
+ else
+ exec.pauseLiveExecution();
+ }
+
+ private void updateSpeedFactor()
+ {
+ double factor = Math.pow(1.32, simSpeedSlider.getSelection() - 50);
+ speedFactorLabel.setText(String.format("%f", factor));
+ if (exec != null)
+ exec.setSpeedFactor(factor);