new web services preference tab (JAL-589)

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index e5397bf..2c15df4 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -98,6 +98,8 @@ public class Preferences extends GPreferences
 
   DasSourceBrowser dasSource;
 
+  private WsPreferences wsPrefs;
+
   /**
    * Creates a new Preferences object.
    */
@@ -108,7 +110,8 @@ public class Preferences extends GPreferences
     frame.setContentPane(this);
     dasSource = new DasSourceBrowser();
     dasPanel.add(dasSource, BorderLayout.CENTER);
-
+    wsPrefs = new WsPreferences();
+    wsPanel.add(wsPrefs, BorderLayout.CENTER);
     int width = 500, height = 420;
     if (new jalview.util.Platform().isAMac())
     {
@@ -444,7 +447,7 @@ public class Preferences extends GPreferences
             .toString(padGaps.isSelected()));
 
     dasSource.saveProperties(Cache.applicationProperties);
-
+    wsPrefs.updateWsMenuConfig(false);
     Cache.saveProperties();
     try
     {
@@ -489,6 +492,7 @@ public class Preferences extends GPreferences
   {
     try
     {
+      wsPrefs.updateWsMenuConfig(true);
       frame.setClosed(true);
     } catch (Exception ex)
     {