Use Antialias flag

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index f4c7380..c2500c2 100755 (executable)
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -202,8 +202,10 @@ public class IdCanvas extends JPanel
       Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
                              av.getFont().getSize());\r
       gg.setFont(italic);\r
-      gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
-            RenderingHints.VALUE_ANTIALIAS_ON);\r
+\r
+      if (av.antiAlias)\r
+        gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
+                            RenderingHints.VALUE_ANTIALIAS_ON);\r
 \r
         Color currentColor = Color.white;\r
         Color currentTextColor = Color.black;\r

diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index 486b87a..19b26c8 100755 (executable)
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -222,8 +222,10 @@ public class ScalePanel extends JPanel
     {\r
         Graphics2D gg = (Graphics2D) g;\r
         gg.setFont(av.getFont());\r
-        gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
-            RenderingHints.VALUE_ANTIALIAS_ON);\r
+\r
+        if(av.antiAlias)\r
+          gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
+                              RenderingHints.VALUE_ANTIALIAS_ON);\r
 \r
         //Fill in the background\r
         gg.setColor(Color.white);\r