From: jprocter Date: Sun, 11 Jul 2010 18:24:34 +0000 (+0000) Subject: wrong config string X-Git-Tag: Release_2_6~146 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=8a91e5ca60b3e9b96854cc753544d60f63a02810;p=jalview.git wrong config string --- 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",