import org.eclipse.e4.ui.model.application.ui.basic.MPart;
import org.eclipse.swt.SWT;
+import org.eclipse.swt.events.MouseEvent;
+import org.eclipse.swt.events.MouseTrackListener;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Label;
+import org.eclipse.swt.widgets.Slider;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.part.ViewPart;
GridLayout layout = new GridLayout(1, true);
parent.setLayout(layout);
+ addSimulationControlWidgets(parent);
+
ui = new LogicUICanvas(parent, SWT.NONE, m.getModel());
ui.addTransformListener((x, y, z) -> part.setDirty(z < 1));
ZoomableCanvasUserInput userInput = new ZoomableCanvasUserInput(ui);
exec.startLiveExecution();
}
+ private void addSimulationControlWidgets(Composite parent)
+ {
+ Composite c = new Composite(parent, SWT.NONE);
+ c.setLayout(new GridLayout(4, false));
+ Button pauseButton = new Button(c, SWT.TOGGLE);
+ pauseButton.setSelection(true);
+ setPauseText(pauseButton, false);
+
+ pauseButton.addListener(SWT.Selection, e ->
+ {
+ setPauseText(pauseButton, false);
+ if (pauseButton.getSelection())
+ {
+ exec.unpauseLiveExecution();
+ } else
+ {
+ exec.pauseLiveExecution();
+ }
+ });
+ pauseButton.addMouseTrackListener(new MouseTrackListener()
+ {
+ @Override
+ public void mouseHover(MouseEvent e)
+ {
+ // nothing
+ }
+
+ @Override
+ public void mouseExit(MouseEvent e)
+ {
+ setPauseText(pauseButton, false);
+ }
+
+ @Override
+ public void mouseEnter(MouseEvent e)
+ {
+ setPauseText(pauseButton, true);
+ }
+ });
+
+ Label speedLabel = new Label(c, SWT.NONE);
+ speedLabel.setText("Simulation Speed: ");
+
+ Slider slider = new Slider(c, SWT.NONE);
+ slider.setMinimum(1);
+ slider.setMaximum(100 + slider.getThumb());
+ slider.setIncrement(1);
+
+ Label speedPercentageLabel = new Label(c, SWT.NONE);
+ speedPercentageLabel.setText("100%");
+
+ slider.addListener(SWT.Selection, e ->
+ {
+ int selection = slider.getSelection();
+ speedPercentageLabel.setText(selection + "%");
+
+ exec.setSpeedPercentage(slider.getSelection());
+ });
+ slider.setSelection(100);
+
+ c.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
+ c.pack();
+ c.setVisible(true);
+ }
+
+ private void setPauseText(Button pauseButton, boolean hovered)
+ {
+ if (hovered)
+ {
+ if (pauseButton.getSelection())
+ {
+ pauseButton.setText("Pause?");
+ } else
+ {
+ pauseButton.setText("Resume?");
+ }
+ } else
+ {
+ if (pauseButton.getSelection())
+ {
+ pauseButton.setText("Running");
+ } else
+ {
+ pauseButton.setText("Paused");
+ }
+ }
+ }
+
@Override
public void setFocus()
{