From: jprocter Date: Tue, 27 Sep 2011 10:59:59 +0000 (+0100) Subject: use jalview properties preference to enable RSBS editor JAL-715 X-Git-Tag: Release_2_7~5 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=08b4da2da2ad5712d0dd717a6e8822e03405cc29;p=jalview.git use jalview properties preference to enable RSBS editor JAL-715 --- 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);