From f9019a464024215fa166c435304db6b90391dd81 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Tue, 20 May 2008 16:46:24 +0000
Subject: anti aliasing button faster.

---
 sources/simulator/VSSimulationPanel.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'sources/simulator/VSSimulationPanel.java')

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