Introduced getters for executionSpeed
[Mograsim.git] / plugins / net.mograsim.plugin.core / src / net / mograsim / plugin / launch / MachineDebugTarget.java
index 328c589..a060bd5 100644 (file)
@@ -74,9 +74,15 @@ public class MachineDebugTarget extends PlatformObject implements IDebugTarget,
                return launch;
        }
 
+       public double getExecutionSpeed()
+       {
+               return exec.getSpeedFactor();
+       }
+
        public void setExecutionSpeed(double speed)
        {
-               exec.setSpeedFactor(speed);
+               if (getExecutionSpeed() != speed)
+                       exec.setSpeedFactor(speed);
        }
 
        @Override