From 08b4da2da2ad5712d0dd717a6e8822e03405cc29 Mon Sep 17 00:00:00 2001 From: jprocter Date: Tue, 27 Sep 2011 11:59:59 +0100 Subject: [PATCH] use jalview properties preference to enable RSBS editor JAL-715 --- src/jalview/bin/Cache.java | 3 ++- src/jalview/jbgui/GWsPreferences.java | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java index d2f400d..ba1d0a8 100755 --- a/src/jalview/bin/Cache.java +++ b/src/jalview/bin/Cache.java @@ -141,7 +141,8 @@ import org.biojava.dasobert.dasregistry.Das1Source; * *
  • DISCOVERY_START - Boolean - controls if discovery services are queried on * startup (JWS1 services only)
  • *
  • DISCOVERY_URLS - comma separated list of Discovery Service endpoints. (JWS1 services only)
  • - *
  • SHOW_JWS1_SERVICES (true) enable or disable the original Jalview 2 services in the desktop GUI + *
  • SHOW_JWS1_SERVICES (true) enable or disable the original Jalview 2 services in the desktop GUI
  • + *
  • ENABLE_RSBS_EDITOR (false for 2.7 release) enable or disable RSBS editing panel in web service preferences
  • * * @author $author$ * @version $Revision$ diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 451c8ba..d94b047 100644 --- a/src/jalview/jbgui/GWsPreferences.java +++ b/src/jalview/jbgui/GWsPreferences.java @@ -405,7 +405,7 @@ public class GWsPreferences extends JPanel wsMenuRefreshButs.add(resetWs, null); wsMenuRefreshButs.add(progressBar, null); myBorderlayout.setHgap(3); - if (true) { + if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR",false)) { JTabbedPane listPanels=new JTabbedPane(); listPanels.addTab("JABAWS Servers",wsListPanel); listPanels.addTab("RSB Services", srbsListPanel); -- 1.7.10.2