X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;h=a6b1066ab5ff7d01572c58b8196f5ca536e8fe06;hb=eee02848424734a9466de35ff19636377652e59b;hp=ff44fe4e8c5f4811d69ff911f4a47d231d2d9739;hpb=e5c2e37b24f09c90f2f7c748f6be10ce025da261;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index ff44fe4..a6b1066 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -83,9 +83,9 @@ public class Preferences extends GPreferences
 
         fullID.setSelected(      Cache.getDefault("SHOW_FULL_ID", true));
         fullScreen.setSelected(  Cache.getDefault("SHOW_FULLSCREEN", false));
-        annotations.setSelected( Cache.getDefault("SHOW_FULL_ID", true));
-        conservation.setEnabled( Cache.getDefault("SHOW_ANNOTATIONS", true));
+        annotations.setSelected( Cache.getDefault("SHOW_ANNOTATIONS", true));
 
+        conservation.setEnabled( Cache.getDefault("SHOW_ANNOTATIONS", true));
         quality.setEnabled(Cache.getDefault("SHOW_ANNOTATIONS", true));
         identity.setEnabled(Cache.getDefault("SHOW_ANNOTATIONS", true));
 
@@ -137,6 +137,11 @@ public class Preferences extends GPreferences
         sortby.addItem("Pairwise Identity");
         sortby.setSelectedItem( Cache.getDefault("SORT_ALIGNMENT", "No sort") );
 
+        epsRendering.addItem("Prompt each time");
+        epsRendering.addItem("Lineart");
+        epsRendering.addItem("Text");
+        epsRendering.setSelectedItem( Cache.getDefault("EPS_RENDERING", "Prompt each time"));
+
   /****************************************************
    * Set up Connections
    */
@@ -198,6 +203,11 @@ public class Preferences extends GPreferences
 
       Cache.applicationProperties.setProperty("SORT_ALIGNMENT", sortby.getSelectedItem().toString() );
 
+      if(epsRendering.getSelectedItem().equals("Prompt each time"))
+        Cache.applicationProperties.remove("EPS_RENDERING");
+      else
+        Cache.applicationProperties.setProperty("EPS_RENDERING", epsRendering.getSelectedItem().toString());
+
       if(defaultBrowser.getText().trim().length()<1)
         Cache.applicationProperties.remove("DEFAULT_BROWSER");
       else