X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=b58c72df3becb9d97f429686b7f744e13ce2ef5f;hb=3b20f512421e707431c326189dbf7d8755968baa;hp=840598bfd9402db2a9ccb7301d4e3dcc88fd2474;hpb=99bd0585b045d25fa719ee007e3310d27e53ac88;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 840598b..b58c72d 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -136,6 +136,8 @@ public class Preferences extends GPreferences smoothFont.setSelected(Cache.getDefault("ANTI_ALIAS", false)); + idItalics.setSelected(Cache.getDefault("ID_ITALICS", true)); + wrap.setSelected(Cache.getDefault("WRAP_ALIGNMENT", false)); gapSymbolCB.addItem("-"); @@ -227,6 +229,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("ID_ITALICS", Boolean.toString(idItalics.isSelected())); + Cache.applicationProperties.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected())); Cache.applicationProperties.setProperty("WRAP_ALIGNMENT", Boolean.toString(wrap.isSelected()));