From 8a91e5ca60b3e9b96854cc753544d60f63a02810 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Sun, 11 Jul 2010 18:24:34 +0000
Subject: [PATCH] wrong config string

---
 src/jalview/gui/Desktop.java       |    2 +-
 src/jalview/gui/WsPreferences.java |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 23b18b0..0bf029c 100755
--- 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
--- 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",
-- 
1.7.10.2