From f9019a464024215fa166c435304db6b90391dd81 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Tue, 20 May 2008 16:46:24 +0000 Subject: anti aliasing button faster. --- sources/core/VSTask.java | 2 +- 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) { -- cgit v1.2.3