+
+ LogicObserver clockObserver = o ->
+ {
+ if (((CoreClock) o).isOn())
+ {
+ exec.pauseLiveExecution();
+ Display.getDefault().asyncExec(() ->
+ {
+ pauseButton.setSelection(false);
+ setPauseText(pauseButton, false);
+ });
+ }
+ };
+
+ sbseButton.addListener(SWT.Selection, e ->
+ {
+ String statusString = "disabled";
+ CoreClock cl = m.getClock();
+ if (sbseButton.getSelection())
+ {
+ cl.registerObserver(clockObserver);
+ statusString = "enabled";
+ } else
+ cl.deregisterObserver(clockObserver);
+ sbseButton.setToolTipText(String.format("Step by step execution: %s", statusString));
+ });
+ sbseButton.setSelection(false);
+