From 66e19a5902af904a2de109c09056184222e518f8 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Sun, 25 Jul 2021 16:08:03 +0100 Subject: [PATCH] JAL-3848 slivka preferences in javascript --- src/jalview/jbgui/GPreferences.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java index 26c37d0..e06e6aa 100755 --- a/src/jalview/jbgui/GPreferences.java +++ b/src/jalview/jbgui/GPreferences.java @@ -432,9 +432,10 @@ 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"); } + + slivkaTab.setLayout(new BorderLayout()); + tabbedPane.add(slivkaTab, "Slivka Services"); /* * Handler to validate a tab before leaving it - currently only for -- 1.7.10.2