From 6a6b52d211b002b444365f542956b0321128cc2d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 30 Jan 2006 14:57:06 +0000 Subject: [PATCH] Smooth fonts added --- src/jalview/gui/Preferences.java | 4 ++++ 1 file changed, 4 insertions(+) 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())); -- 1.7.10.2