anti aliasing button faster.

1 files changed, 6 insertions, 2 deletions

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) {