added 'show overview' preference.

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index e16aa42..e69492c 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -99,6 +99,7 @@ public class Preferences
     conservation.setSelected(Cache.getDefault("SHOW_CONSERVATION", true));\r
     quality.setSelected(Cache.getDefault("SHOW_QUALITY", true));\r
     identity.setSelected(Cache.getDefault("SHOW_IDENTITY", true));\r
+    openoverv.setSelected(Cache.getDefault("SHOW_OVERVIEW", false));\r
 \r
     for (int i = 0; i < 13; i++)\r
     {\r
@@ -218,7 +219,9 @@ public class Preferences
     Cache.applicationProperties.setProperty("SHOW_FULLSCREEN",\r
                                             Boolean.toString(fullScreen.\r
         isSelected()));\r
-\r
+    Cache.applicationProperties.setProperty("SHOW_OVERVIEW",\r
+                                            Boolean.toString(openoverv.\r
+        isSelected()));\r
     Cache.applicationProperties.setProperty("SHOW_ANNOTATIONS",\r
                                             Boolean.\r
                                             toString(annotations.isSelected()));\r