X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGWsPreferences.java;h=ad65bff7dc27f420d0882cd35e0aa5d1914de22c;hb=3f72d101fbeb83a7526a3c4f8f62cfe8e8a0189d;hp=171bd7b8c100e59db013bde64241e63979b80d30;hpb=06931e7445db77675739e0f206d7b5fafc3f9c05;p=jalview.git diff --git a/src/jalview/jbgui/GWsPreferences.java b/src/jalview/jbgui/GWsPreferences.java index 171bd7b..ad65bff 100644 --- a/src/jalview/jbgui/GWsPreferences.java +++ b/src/jalview/jbgui/GWsPreferences.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) + * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -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);