diff options
| -rw-r--r-- | sources/core/VSTask.java | 2 | ||||
| -rw-r--r-- | sources/simulator/VSSimulationPanel.java | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/sources/core/VSTask.java b/sources/core/VSTask.java index ada581b..eff5daa 100644 --- a/sources/core/VSTask.java +++ b/sources/core/VSTask.java @@ -62,7 +62,7 @@ public class VSTask implements Comparable { } public boolean isProcess(VSProcess process) { - return this.process.equals(process); + return process.equals(process); } public boolean isGlobalTimed() { diff --git a/sources/simulator/VSSimulationPanel.java b/sources/simulator/VSSimulationPanel.java index ff96b7f..ec5acbc 100644 --- a/sources/simulator/VSSimulationPanel.java +++ b/sources/simulator/VSSimulationPanel.java @@ -650,17 +650,21 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi public void showLamport(boolean showLamport) { this.showLamport = showLamport; - paint(); + if (isPaused) + paint(); } public void showVectorTime(boolean showVectorTime) { this.showVectorTime = showVectorTime; - paint(); + if (isPaused) + paint(); } public void isAntiAliased(boolean isAntiAliased) { this.isAntiAliased = isAntiAliased; this.isAntiAliasedChanged = true; + if (isPaused) + paint(); } public void sendMessage(VSMessage message) { |