wrong config string

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 23b18b0..0bf029c 100755 (executable)
--- a/src/jalview/gui/Desktop.java
+++ b/src/jalview/gui/Desktop.java
@@ -2113,7 +2113,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements
 
     try
     {
-      if (Cache.getDefault("SHOW_ENVISION2_SERVICES", true))
+      if (Cache.getDefault("SHOW_ENFIN_SERVICES", true))
       {
         // EnfinEnvision web service menu entries are rebuild every time the
         // menu is shown, so no changeSupport events are needed.

diff --git a/src/jalview/gui/WsPreferences.java b/src/jalview/gui/WsPreferences.java
index 8ab305e..45654f2 100644 (file)
--- a/src/jalview/gui/WsPreferences.java
+++ b/src/jalview/gui/WsPreferences.java
@@ -38,7 +38,7 @@ public class WsPreferences extends GWsPreferences
     }
     updateList();
     enableEnfinServices.setSelected(oldEnfin=Cache.getDefault(
-            "SHOW_ENVISION2_SERVICES", true));
+            "SHOW_ENFIN_SERVICES", true));
     enableJws1Services.setSelected(oldJws1=Cache.getDefault("SHOW_JWS1_SERVICES",
             true));
     enableJws2Services.setSelected(oldJws2=Cache.getDefault("SHOW_JWS2_SERVICES",