+ 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);
+ }
+
+ private void addInstructionPreviewControlWidgets(Composite parent)
+ {
+ instPreview = new InstructionTable(parent, new DisplaySettings());
+ instPreview.getTableViewer().getTable().setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
+ instPreview.setContentProvider(new ActiveInstructionPreviewContentProvider(instPreview.getTableViewer()));