X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Fviews%2FLogicUIPart.java;h=8825ba98c4e7deebb0cf866ff1a2753ca2510828;hb=f4c2b2357f708fce0b1a15d7d9de32fbf509e0eb;hp=49c6fa435ee1396034ea17a190345bca1c7f3cb7;hpb=41292b984ee229deb329c83b525006fd2840becb;p=Mograsim.git

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/views/LogicUIPart.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/views/LogicUIPart.java
index 49c6fa43..8825ba98 100644
--- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/views/LogicUIPart.java
+++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/views/LogicUIPart.java
@@ -4,9 +4,14 @@ import javax.inject.Inject;
 
 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;
 
@@ -36,6 +41,7 @@ public class LogicUIPart extends ViewPart
 	{
 		if (exec != null)
 			exec.stopLiveExecution();
+		super.dispose();
 	}
 
 	@Override
@@ -51,6 +57,8 @@ public class LogicUIPart extends 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);
@@ -79,6 +87,94 @@ public class LogicUIPart extends ViewPart
 		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()
 	{