import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Label;
-import org.eclipse.swt.widgets.Slider;
+import org.eclipse.swt.widgets.Scale;
import org.eclipse.ui.IEditorInput;
import org.eclipse.ui.IEditorSite;
import org.eclipse.ui.IFileEditorInput;
private Button sbseButton;
private Button pauseButton;
private Label speedFactorLabel;
- private Slider simSpeedSlider;
+ private Scale simSpeedScale;
private Composite canvasParent;
private LogicUICanvas canvas;
private InstructionTable instPreview;
resetButton.setEnabled(true);
sbseButton.setEnabled(true);
pauseButton.setEnabled(true);
- simSpeedSlider.setEnabled(true);
+ simSpeedScale.setEnabled(true);
machine = machineOptional.get();
canvas = new LogicUICanvas(canvasParent, SWT.NONE, machine.getModel());
resetButton.setEnabled(false);
sbseButton.setEnabled(false);
pauseButton.setEnabled(false);
- simSpeedSlider.setEnabled(false);
+ simSpeedScale.setEnabled(false);
}
}
new Label(c, SWT.NONE).setText("Simulation Speed: ");
- simSpeedSlider = new Slider(c, SWT.NONE);
- simSpeedSlider.setMinimum(0);
- simSpeedSlider.setMaximum(50 + simSpeedSlider.getThumb());
- simSpeedSlider.setIncrement(1);
- simSpeedSlider.setSelection(0);
+ simSpeedScale = new Scale(c, SWT.NONE);
+ simSpeedScale.setMinimum(0);
+ simSpeedScale.setMaximum(50);
+ simSpeedScale.setIncrement(1);
+ simSpeedScale.setSelection(0);
speedFactorLabel = new Label(c, SWT.NONE);
speedFactorLabel.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
- simSpeedSlider.addListener(SWT.Selection, e -> updateSpeedFactor());
+ simSpeedScale.addListener(SWT.Selection, e -> updateSpeedFactor());
updateSpeedFactor();
c.layout();
private void updateSpeedFactor()
{
- double factor = Math.pow(1.32, simSpeedSlider.getSelection() - 50);
+ double factor = Math.pow(1.32, simSpeedScale.getSelection() - 50);
speedFactorLabel.setText(String.format("%f", factor));
if (exec != null)
exec.setSpeedFactor(factor);