protected JCheckBox enableEnfinServices = new JCheckBox();
+ protected JCheckBox displayWsWarning = new JCheckBox();
+
protected JButton refreshWs = new JButton();
protected JButton resetWs = new JButton();
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()
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));
add(wsMenuRefreshButs, BorderLayout.SOUTH);
}
+ protected void displayWsWarning_actionPerformed(ActionEvent e)
+ {
+ // TODO Auto-generated method stub
+
+ }
+
protected void resetWs_actionPerformed(ActionEvent e)
{