diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-20 16:46:24 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-20 16:46:24 +0000 |
| commit | f9019a464024215fa166c435304db6b90391dd81 (patch) | |
| tree | 6be0bfdb614953ee3cc04c04243ec052e351e607 | |
| parent | b947eec24a733cbd1dbe9757b6246c4efb52b4e7 (diff) | |
anti aliasing button faster.
| -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) { |