JAL-3633 Set proxy preferences before web calls in jalview.bin.Jalview. Fixed call...

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

diff --git a/src/jalview/jbgui/GPreferences.java b/src/jalview/jbgui/GPreferences.java
index bc9584e..fb0b2a4 100755 (executable)
--- a/src/jalview/jbgui/GPreferences.java
+++ b/src/jalview/jbgui/GPreferences.java
@@ -383,9 +383,14 @@ public class GPreferences extends JPanel
 
   public GPreferences(int selectTab)
   {
+    new GPreferences(selectTab, null);
+  }
+
+  public GPreferences(int selectTab, String message)
+  {
     try
     {
-      jbInit(selectTab);
+      jbInit(selectTab, message);
     } catch (Exception ex)
     {
       ex.printStackTrace();
@@ -402,12 +407,26 @@ public class GPreferences extends JPanel
     jbInit(0);
   }
 
+  private void jbInit(int selectTab) throws Exception
+  {
+    jbInit(selectTab, null);
+  }
+
   public final static int CONNECTIONS_TAB = 5;
 
-  private void jbInit(int selectTab) throws Exception
+  private void jbInit(int selectTab, String message) throws Exception
   {
     final JTabbedPane tabbedPane = new JTabbedPane();
     this.setLayout(new BorderLayout());
+
+    if (message != null)
+    {
+      JLabel messageLabel = new JLabel(message, JLabel.CENTER);
+      messageLabel.setFont(LABEL_FONT_BOLD);
+      messageLabel.setForeground(Color.RED.darker());
+      this.add(messageLabel, BorderLayout.NORTH);
+    }
+
     JPanel okCancelPanel = initOkCancelPanel();
     this.add(tabbedPane, BorderLayout.CENTER);
     this.add(okCancelPanel, BorderLayout.SOUTH);