Anti-Aliasing checkbox works.

1 files changed, 16 insertions, 0 deletions

diff --git a/sources/simulator/VSSimulationPanel.java b/sources/simulator/VSSimulationPanel.java
index 8ee8f40..a978d1b 100644
--- a/sources/simulator/VSSimulationPanel.java
+++ b/sources/simulator/VSSimulationPanel.java
@@ -28,6 +28,8 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi
     private volatile boolean isFinalized = false;
     private volatile boolean isFinished = false;
     private volatile boolean isResetted = false;
+    private volatile boolean isAntiAliased = false;
+    private volatile boolean isAntiAliasedChanged = false;
     private volatile boolean showLamport = false;
     private volatile boolean showVectorTime = false;
     private volatile long pauseTime;
@@ -240,6 +242,8 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi
                 //setPreferredSize(new Dimension(simulation.getWidth()-simulation.getSplitSize(),(int)paintSize-20));
                 g = (Graphics2D) strategy.getDrawGraphics();
                 g.setColor(Color.WHITE);
+                if (isAntiAliased)
+                    g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
             }
         }
     }
@@ -300,6 +304,13 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi
         }
 
         synchronized (strategy) {
+            if (isAntiAliasedChanged) {
+                if (isAntiAliased)
+                    g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
+                else
+                    g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF);
+                isAntiAliasedChanged = false;
+            }
             g.fillRect(0, 0, getWidth(), getHeight());
             final long globalTime = time;
 
@@ -647,6 +658,11 @@ public class VSSimulationPanel extends Canvas implements Runnable, MouseMotionLi
         paint();
     }
 
+    public void isAntiAliased(boolean isAntiAliased) {
+        this.isAntiAliased = isAntiAliased;
+        this.isAntiAliasedChanged = true;
+    }
+
     public void sendMessage(VSMessage message) {
         VSTask task = null;
         VSProcess sendingProcess = message.getSendingProcess();