needed for linkedapplets_ng.html (JAL-859,JAL-469)
[jalview.git] / src / jalview / jbgui / GWsPreferences.java
index 2b30f47..da9322c 100644 (file)
@@ -71,6 +71,8 @@ public class GWsPreferences extends JPanel
 
   protected JCheckBox enableEnfinServices = new JCheckBox();
 
+  protected JCheckBox displayWsWarning = new JCheckBox();
+
   protected JButton refreshWs = new JButton();
 
   protected JButton resetWs = new JButton();
@@ -178,6 +180,17 @@ public class GWsPreferences extends JPanel
         enableJws1Services_actionPerformed(e);
       }
     });
+    displayWsWarning.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
+    displayWsWarning.setText("Display warnings");
+    displayWsWarning
+            .setToolTipText("<html>Check this option if you want to be informed<br>when a web service URL cannot be accessed by Jalview<br>when it starts up");
+    displayWsWarning.addActionListener(new ActionListener()
+    {
+      public void actionPerformed(ActionEvent e)
+      {
+        displayWsWarning_actionPerformed(e);
+      }
+    });
     newWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
     newWsUrl.setText("New Service URL");
     newWsUrl.addActionListener(new ActionListener()
@@ -294,6 +307,7 @@ public class GWsPreferences extends JPanel
     wsMenuButtons.add(enableJws1Services);
     wsMenuButtons.add(enableJws2Services);
     wsMenuButtons.add(enableEnfinServices);
+    wsMenuButtons.add(displayWsWarning);
     wsMenuRefreshButs.setLayout(new FlowLayout());
     wsMenuRefreshButs.setPreferredSize(new Dimension(480, 30));
     wsMenuRefreshButs.setSize(new Dimension(480, 30));
@@ -306,6 +320,12 @@ public class GWsPreferences extends JPanel
     add(wsMenuRefreshButs, BorderLayout.SOUTH);
   }
 
+  protected void displayWsWarning_actionPerformed(ActionEvent e)
+  {
+    // TODO Auto-generated method stub
+    
+  }
+
   protected void resetWs_actionPerformed(ActionEvent e)
   {