X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=f322daa78a49e2a44204ce9d06f3db4814fec2c7;hb=b2319fcc38be5c500ed7cafc014cf9da96a4ce98;hp=2243a3d10738674be7d8b1c0b1741080cba3d6f2;hpb=9c5d69ef1e102b1eac18ec13c362522f40c9000d;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 2243a3d..f322daa 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -76,8 +76,8 @@ public class Preferences extends GPreferences
 
         frame = new JInternalFrame();
         frame.setContentPane(this);
-        Desktop.addInternalFrame(frame, "Preferences", 480, 390);
-        frame.setMinimumSize(new Dimension(480,390));
+        Desktop.addInternalFrame(frame, "Preferences", 480, 395);
+        frame.setMinimumSize(new Dimension(480,395));
 
         seqLimit.setSelected(    Cache.getDefault("SHOW_JVSUFFIX", true));
         fullScreen.setSelected(  Cache.getDefault("SHOW_FULLSCREEN", false));
@@ -121,6 +121,8 @@ public class Preferences extends GPreferences
         fontSizeCB.setSelectedItem(Cache.getDefault("FONT_SIZE", "10"));
         fontStyleCB.setSelectedItem(Cache.getDefault("FONT_STYLE", Font.PLAIN + "") );
 
+        smoothFont.setSelected(Cache.getDefault("ANTI_ALIAS", false));
+
         gapSymbolCB.addItem("-");
         gapSymbolCB.addItem(".");
 
@@ -204,6 +206,8 @@ public class Preferences extends GPreferences
       Cache.applicationProperties.setProperty("FONT_STYLE", fontStyleCB.getSelectedItem().toString());
       Cache.applicationProperties.setProperty("FONT_SIZE", fontSizeCB.getSelectedItem().toString());
 
+      Cache.applicationProperties.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected()));
+
       Cache.applicationProperties.setProperty("STARTUP_FILE", startupFileTextfield.getText());
       Cache.applicationProperties.setProperty("SHOW_STARTUP_FILE",  Boolean.toString(startupCheckbox.isSelected()));