ID_ITALICS option in preferences
[jalview.git] / src / jalview / gui / Preferences.java
index 840598b..b58c72d 100755 (executable)
@@ -136,6 +136,8 @@ public class Preferences extends GPreferences
 \r
         smoothFont.setSelected(Cache.getDefault("ANTI_ALIAS", false));\r
 \r
+        idItalics.setSelected(Cache.getDefault("ID_ITALICS", true));\r
+\r
         wrap.setSelected(Cache.getDefault("WRAP_ALIGNMENT", false));\r
 \r
         gapSymbolCB.addItem("-");\r
@@ -227,6 +229,8 @@ public class Preferences extends GPreferences
       Cache.applicationProperties.setProperty("FONT_STYLE", fontStyleCB.getSelectedItem().toString());\r
       Cache.applicationProperties.setProperty("FONT_SIZE", fontSizeCB.getSelectedItem().toString());\r
 \r
+      Cache.applicationProperties.setProperty("ID_ITALICS", Boolean.toString(idItalics.isSelected()));\r
+\r
       Cache.applicationProperties.setProperty("ANTI_ALIAS", Boolean.toString(smoothFont.isSelected()));\r
 \r
       Cache.applicationProperties.setProperty("WRAP_ALIGNMENT", Boolean.toString(wrap.isSelected()));\r