From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 30 Jan 2006 14:57:06 +0000 (+0000)
Subject: Smooth fonts added
X-Git-Tag: Root_VamJalview_2_07b+~199
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6a6b52d211b002b444365f542956b0321128cc2d;p=jalview.git

Smooth fonts added
---

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 2243a3d..81acb7c 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -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()));