JAL-3515 Build a WSPreferences page for Slivka services.

[jalview.git] / src / jalview / jbgui / GPreferences.java

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index ca11541..34a7c75 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -314,6 +314,8 @@ public class GPreferences extends JPanel
    */
   protected JPanel wsTab = new JPanel();
 
+  protected JPanel slivkaTab = new JPanel();
+
   /*
    * Backups tab components
    * a lot of these are member variables instead of local variables only so that they
@@ -421,6 +423,8 @@ public class GPreferences extends JPanel
      */
     wsTab.setLayout(new BorderLayout());
     tabbedPane.add(wsTab, MessageManager.getString("label.web_services"));
+    slivkaTab.setLayout(new BorderLayout());
+    tabbedPane.add(slivkaTab, "Slivka Services");
 
     /*
      * Handler to validate a tab before leaving it - currently only for