X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.plugin.core%2Fsrc%2Fnet%2Fmograsim%2Fplugin%2Feditors%2FSimulationViewEditor.java;h=aece3ac43d82525d0d880474da68f09623821f33;hb=8f54507e17429185b36515338b9ebc5c42e50d70;hp=61caac16ee95f49d690b8018c72104121cd12bc3;hpb=f30643a40e01919e4544891bb8bd92fa37a5b5a7;p=Mograsim.git

diff --git a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/editors/SimulationViewEditor.java b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/editors/SimulationViewEditor.java
index 61caac16..aece3ac4 100644
--- a/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/editors/SimulationViewEditor.java
+++ b/plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/editors/SimulationViewEditor.java
@@ -42,6 +42,9 @@ public class SimulationViewEditor extends EditorPart
 	private Machine machine;
 
 	private Composite parent;
+	private Button sbseButton;
+	private Button pauseButton;
+	private Slider simSpeedSlider;
 	private LogicUICanvas canvas;
 	private Label noMachineLabel;
 
@@ -73,6 +76,9 @@ public class SimulationViewEditor extends EditorPart
 		if (context != null && (machineOptional = context.getActiveMachine()).isPresent())
 		{
 			noMachineLabel.setVisible(false);
+			sbseButton.setEnabled(true);
+			pauseButton.setEnabled(true);
+			simSpeedSlider.setEnabled(true);
 			machine = machineOptional.get();
 			canvas = new LogicUICanvas(parent, SWT.NONE, machine.getModel());
 			ZoomableCanvasUserInput userInput = new ZoomableCanvasUserInput(canvas);
@@ -87,7 +93,12 @@ public class SimulationViewEditor extends EditorPart
 			exec = new LogicExecuter(machine.getTimeline());
 			exec.startLiveExecution();
 		} else
+		{
 			noMachineLabel.setVisible(true);
+			sbseButton.setEnabled(false);
+			pauseButton.setEnabled(false);
+			simSpeedSlider.setEnabled(false);
+		}
 	}
 
 	private void addSimulationControlWidgets(Composite parent)
@@ -95,32 +106,31 @@ public class SimulationViewEditor extends EditorPart
 		Composite c = new Composite(parent, SWT.NONE);
 		c.setLayout(new GridLayout(7, false));
 
-		Button sbseButton = new Button(c, SWT.CHECK);
-		Button pauseButton = new Button(c, SWT.TOGGLE);
+		sbseButton = new Button(c, SWT.CHECK);
+		pauseButton = new Button(c, SWT.TOGGLE);
 		LogicObserver clockObserver = o ->
 		{
 			if (((CoreClock) o).isOn())
 			{
 				exec.pauseLiveExecution();
-				Display.getDefault().asyncExec(() ->
-				{
-					pauseButton.setSelection(false);
-					setPauseText(pauseButton, false);
-				});
+				if (!pauseButton.isDisposed())
+					Display.getDefault().asyncExec(() ->
+					{
+						if (!pauseButton.isDisposed())
+							pauseButton.setSelection(false);
+						setPauseText(pauseButton, false);
+					});
 			}
 		};
 
+		sbseButton.setText("Step by step execution");
 		sbseButton.addListener(SWT.Selection, e ->
 		{
-			String statusString = "disabled";
 			CoreClock cl = machine.getClock();
 			if (sbseButton.getSelection())
-			{
 				cl.registerObserver(clockObserver);
-				statusString = "enabled";
-			} else
+			else
 				cl.deregisterObserver(clockObserver);
-			sbseButton.setToolTipText(String.format("Step by step execution: %s", statusString));
 		});
 		sbseButton.setSelection(false);
 
@@ -162,26 +172,25 @@ public class SimulationViewEditor extends EditorPart
 		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);
+		simSpeedSlider = new Slider(c, SWT.NONE);
+		simSpeedSlider.setMinimum(1);
+		simSpeedSlider.setMaximum(100 + simSpeedSlider.getThumb());
+		simSpeedSlider.setIncrement(1);
 
 		Label speedPercentageLabel = new Label(c, SWT.NONE);
 		speedPercentageLabel.setText("100%");
 
-		slider.addListener(SWT.Selection, e ->
+		simSpeedSlider.addListener(SWT.Selection, e ->
 		{
-			int selection = slider.getSelection();
+			int selection = simSpeedSlider.getSelection();
 			speedPercentageLabel.setText(selection + "%");
 
-			exec.setSpeedPercentage(slider.getSelection());
+			exec.setSpeedPercentage(simSpeedSlider.getSelection());
 		});
-		slider.setSelection(100);
+		simSpeedSlider.setSelection(100);
 
 		c.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
 		c.pack();
-		c.setVisible(true);
 	}
 
 	private static void setPauseText(Button pauseButton, boolean hovered)