smooth fonts moved here

diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java
index b52ca32..87edfec 100755 (executable)
--- a/src/jalview/gui/FontChooser.java
+++ b/src/jalview/gui/FontChooser.java
@@ -70,10 +70,13 @@ public class FontChooser extends GFontChooser
     {\r
         frame = new JInternalFrame();\r
         frame.setContentPane(this);\r
+\r
+        smoothFont.setSelected(ap.av.antiAlias);\r
+\r
         if(tp!=null)\r
-           Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 540, 100, false);\r
+           Desktop.addInternalFrame(frame, "Change Font (Tree Panel)", 340, 170, false);\r
         else\r
-           Desktop.addInternalFrame(frame, "Change Font", 540, 100, false);\r
+           Desktop.addInternalFrame(frame, "Change Font", 340, 170, false);\r
 \r
         frame.setLayer(JLayeredPane.PALETTE_LAYER);\r
 \r
@@ -106,6 +109,15 @@ public class FontChooser extends GFontChooser
         init = false;\r
     }\r
 \r
+    public void smoothFont_actionPerformed(ActionEvent e)\r
+    {\r
+      ap.av.antiAlias = smoothFont.isSelected();\r
+      ap.annotationPanel.image = null;\r
+      ap.repaint();\r
+    }\r
+\r
+\r
+\r
     /**\r
      * DOCUMENT ME!\r
      *\r
@@ -239,5 +251,6 @@ public class FontChooser extends GFontChooser
         Cache.setProperty("FONT_NAME", fontName.getSelectedItem().toString());\r
         Cache.setProperty("FONT_STYLE", fontStyle.getSelectedIndex() + "");\r
         Cache.setProperty("FONT_SIZE", fontSize.getSelectedItem().toString());\r
+        Cache.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected()));\r
     }\r
 }\r