2 * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7)
3 * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
11 * Jalview is distributed in the hope that it will be useful, but
12 * WITHOUT ANY WARRANTY; without even the implied warranty
13 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
14 * PURPOSE. See the GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
18 package jalview.jbgui;
20 import java.awt.BorderLayout;
21 import java.awt.Dimension;
22 import java.awt.FlowLayout;
24 import java.awt.GridBagLayout;
25 import java.awt.GridLayout;
26 import java.awt.event.ActionEvent;
27 import java.awt.event.ActionListener;
28 import java.awt.event.MouseEvent;
29 import java.awt.event.MouseListener;
31 import javax.swing.BorderFactory;
32 import javax.swing.JButton;
33 import javax.swing.JCheckBox;
34 import javax.swing.JList;
35 import javax.swing.JPanel;
36 import javax.swing.JProgressBar;
37 import javax.swing.JScrollPane;
38 import javax.swing.JTabbedPane;
39 import javax.swing.ListSelectionModel;
40 import javax.swing.SwingConstants;
41 import javax.swing.border.TitledBorder;
44 * Preference dialog for jalview web services
48 public class GWsPreferences extends JPanel
50 protected JList sbrsList = new JList();
52 protected TitledBorder sbrsListTitleBorder = new TitledBorder(
53 "Simple Bioinformatics Rest Services");
55 protected JButton newSbrsUrl = new JButton();
57 protected JButton editSbrsUrl = new JButton();
59 protected JButton deleteSbrsUrl = new JButton();
61 protected JList wsList = new JList();
63 protected TitledBorder wsListTitleBorder = new TitledBorder(
64 "Web Service Discovery URLS");
66 protected JButton newWsUrl = new JButton();
68 protected JButton editWsUrl = new JButton();
70 protected JButton deleteWsUrl = new JButton();
72 protected JButton moveWsUrlUp = new JButton();
74 protected JButton moveWsUrlDown = new JButton();
76 protected JCheckBox indexByHost = new JCheckBox();
78 protected JCheckBox indexByType = new JCheckBox();
80 protected JCheckBox enableJws2Services = new JCheckBox();
82 protected JCheckBox enableEnfinServices = new JCheckBox();
84 protected JCheckBox displayWsWarning = new JCheckBox();
86 protected JButton refreshWs = new JButton();
88 protected JButton resetWs = new JButton();
90 protected JProgressBar progressBar = new JProgressBar();
92 JScrollPane wsListPane = new JScrollPane();
94 JPanel wsListUrlPanel = new JPanel();
96 JPanel wsListPanel = new JPanel();
98 JPanel wsListButtons = new JPanel();
100 JPanel wsListNavButs = new JPanel();
102 JScrollPane srbsListPane = new JScrollPane();
104 JPanel srbsListUrlPanel = new JPanel();
106 JPanel srbsListPanel = new JPanel();
108 JPanel srbsListButtons = new JPanel();
110 JPanel srbsListNavButs = new JPanel();
112 BorderLayout myBorderlayout = new BorderLayout();
114 BorderLayout wsListBorderlayout = new BorderLayout();
116 BorderLayout srbsListBorderlayout = new BorderLayout();
118 GridBagLayout wsPrefLayout = new GridBagLayout();
120 GridBagLayout wsListLayout = new GridBagLayout();
122 GridBagLayout srbsListLayout = new GridBagLayout();
124 GridBagLayout wsMenuLayout = new GridBagLayout();
126 JPanel wsMenuButtons = new JPanel();
128 JPanel wsMenuRefreshButs = new JPanel();
130 public GWsPreferences()
135 private void jbInit()
138 refreshWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
139 refreshWs.setText("Refresh Services");
140 refreshWs.addActionListener(new ActionListener()
142 public void actionPerformed(ActionEvent e)
144 refreshWs_actionPerformed(e);
147 resetWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
148 resetWs.setText("Reset Services");
150 resetWs.addActionListener(new ActionListener()
152 public void actionPerformed(ActionEvent e)
154 resetWs_actionPerformed(e);
157 indexByHost.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
158 indexByHost.setText("Index by host");
160 .setToolTipText("Index web services in menu by the host site.");
161 indexByHost.addActionListener(new ActionListener()
163 public void actionPerformed(ActionEvent e)
165 indexByHost_actionPerformed(e);
168 indexByType.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
169 indexByType.setText("Index by type");
170 indexByType.addActionListener(new ActionListener()
172 public void actionPerformed(ActionEvent e)
174 indexByType_actionPerformed(e);
178 .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
179 enableEnfinServices.setText("Enable Enfin Services");
180 enableEnfinServices.addActionListener(new ActionListener()
182 public void actionPerformed(ActionEvent e)
184 enableEnfinServices_actionPerformed(e);
188 .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
189 enableJws2Services.setText("Enable JABAWS Services");
190 enableJws2Services.addActionListener(new ActionListener()
192 public void actionPerformed(ActionEvent e)
194 enableJws2Services_actionPerformed(e);
197 displayWsWarning.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
198 displayWsWarning.setText("Display warnings");
200 .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");
201 displayWsWarning.addActionListener(new ActionListener()
203 public void actionPerformed(ActionEvent e)
205 displayWsWarning_actionPerformed(e);
208 newWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
209 newWsUrl.setText("New Service URL");
210 newWsUrl.addActionListener(new ActionListener()
212 public void actionPerformed(ActionEvent e)
214 newWsUrl_actionPerformed(e);
217 editWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
218 editWsUrl.setText("Edit Service URL");
219 editWsUrl.addActionListener(new ActionListener()
221 public void actionPerformed(ActionEvent e)
223 editWsUrl_actionPerformed(e);
227 deleteWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
228 deleteWsUrl.setText("Delete Service URL");
229 deleteWsUrl.addActionListener(new ActionListener()
231 public void actionPerformed(ActionEvent e)
233 deleteWsUrl_actionPerformed(e);
236 moveWsUrlUp.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
237 moveWsUrlUp.setText("Up");
238 moveWsUrlUp.setToolTipText("Move URL up");
239 moveWsUrlUp.addActionListener(new ActionListener()
241 public void actionPerformed(ActionEvent e)
243 moveWsUrlUp_actionPerformed(e);
246 moveWsUrlDown.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
247 moveWsUrlDown.setText("Down");
248 moveWsUrlDown.setToolTipText("Move URL Down");
249 moveWsUrlDown.addActionListener(new ActionListener()
251 public void actionPerformed(ActionEvent e)
253 moveWsUrlDown_actionPerformed(e);
256 newSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
257 newSbrsUrl.setText("Add a SBRS definition");
258 newSbrsUrl.addActionListener(new ActionListener()
260 public void actionPerformed(ActionEvent e)
262 newSbrsUrl_actionPerformed(e);
265 editSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
266 editSbrsUrl.setText("Edit SBRS definition");
267 editSbrsUrl.addActionListener(new ActionListener()
269 public void actionPerformed(ActionEvent e)
271 editSbrsUrl_actionPerformed(e);
275 deleteSbrsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
276 deleteSbrsUrl.setText("Delete SBRS definition");
277 deleteSbrsUrl.addActionListener(new ActionListener()
279 public void actionPerformed(ActionEvent e)
281 deleteSbrsUrl_actionPerformed(e);
285 setLayout(myBorderlayout);
286 setPreferredSize(new Dimension(500, 400));
287 progressBar.setPreferredSize(new Dimension(450, 20));
288 progressBar.setString("");
289 wsListUrlPanel.setBorder(BorderFactory.createEtchedBorder());
290 wsListUrlPanel.setLayout(new BorderLayout());
291 // wsListUrlPanel.setPreferredSize(new Dimension(482,202));
292 wsListPane.setBorder(BorderFactory.createEtchedBorder());
293 wsListPane.getViewport().add(wsList);
294 // wsListPane.setPreferredSize(new Dimension(380, 80));
295 wsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
296 wsList.addMouseListener(new MouseListener()
299 public void mouseClicked(MouseEvent e)
301 if (e.getClickCount() > 1)
303 editWsUrl_actionPerformed(null);
308 public void mouseEntered(MouseEvent e)
313 public void mouseExited(MouseEvent e)
317 public void mousePressed(MouseEvent e)
322 public void mouseReleased(MouseEvent e)
328 // wsListButtons.setPreferredSize(new Dimension(480, 60));
329 wsListButtons.setLayout(new FlowLayout());
330 // wsListButtons.add(moveWsUrlUp);
331 // wsListButtons.add(moveWsUrlDown);
332 wsListButtons.add(newWsUrl);
333 wsListButtons.add(editWsUrl);
334 wsListButtons.add(deleteWsUrl);
335 wsListNavButs.setSize(new Dimension(80, 80));
336 wsListNavButs.setPreferredSize(new Dimension(80, 80));
337 wsListNavButs.setLayout(new FlowLayout());
338 wsListNavButs.add(moveWsUrlUp);
339 wsListNavButs.add(moveWsUrlDown);
340 wsListUrlPanel.add(wsListPane, BorderLayout.CENTER);
341 wsListUrlPanel.add(wsListNavButs, BorderLayout.WEST);
342 wsListPanel.setBorder(wsListTitleBorder);
343 wsListPanel.setLayout(new BorderLayout());
344 wsListPanel.add(wsListUrlPanel, BorderLayout.NORTH);
345 wsListPanel.add(wsListButtons, BorderLayout.SOUTH);
347 srbsListUrlPanel.setBorder(BorderFactory.createEtchedBorder());
348 srbsListUrlPanel.setLayout(new BorderLayout());
349 srbsListPane.setBorder(BorderFactory.createEtchedBorder());
350 srbsListPane.getViewport().add(sbrsList);
351 //srbsListPane.setMinimumSize(new Dimension(380, 80));
352 sbrsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
353 sbrsList.addMouseListener(new MouseListener()
356 public void mouseClicked(MouseEvent e)
358 if (e.getClickCount() > 1)
360 editSbrsUrl_actionPerformed(null);
365 public void mouseEntered(MouseEvent e)
370 public void mouseExited(MouseEvent e)
374 public void mousePressed(MouseEvent e)
379 public void mouseReleased(MouseEvent e)
385 srbsListButtons.setLayout(new FlowLayout());
386 srbsListButtons.add(newSbrsUrl);
387 srbsListButtons.add(editSbrsUrl);
388 srbsListButtons.add(deleteSbrsUrl);
389 srbsListUrlPanel.add(srbsListPane, BorderLayout.CENTER);
390 srbsListPanel.setBorder(sbrsListTitleBorder);
391 srbsListPanel.setLayout(new BorderLayout());
392 srbsListPanel.add(srbsListUrlPanel, BorderLayout.NORTH);
393 srbsListPanel.add(srbsListButtons, BorderLayout.CENTER);
395 wsMenuButtons.setLayout(new GridLayout(2, 3));
396 wsMenuButtons.add(indexByHost);
397 wsMenuButtons.add(indexByType);
398 wsMenuButtons.add(enableJws2Services);
399 wsMenuButtons.add(enableEnfinServices);
400 wsMenuButtons.add(displayWsWarning);
401 wsMenuRefreshButs.setLayout(new FlowLayout());
402 wsMenuRefreshButs.setPreferredSize(new Dimension(480, 30));
403 wsMenuRefreshButs.setSize(new Dimension(480, 30));
404 wsMenuRefreshButs.add(refreshWs, null);
405 wsMenuRefreshButs.add(resetWs, null);
406 wsMenuRefreshButs.add(progressBar, null);
407 myBorderlayout.setHgap(3);
408 if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR",false)) {
409 JTabbedPane listPanels=new JTabbedPane();
410 listPanels.addTab("JABAWS Servers",wsListPanel);
411 listPanels.addTab("RSB Services", srbsListPanel);
412 add(listPanels, BorderLayout.NORTH);
414 add(wsListPanel, BorderLayout.NORTH);
416 add(wsMenuButtons, BorderLayout.CENTER);
417 add(wsMenuRefreshButs, BorderLayout.SOUTH);
420 protected void deleteSbrsUrl_actionPerformed(ActionEvent e)
422 // TODO Auto-generated method stub
426 protected void editSbrsUrl_actionPerformed(ActionEvent e)
428 // TODO Auto-generated method stub
432 protected void newSbrsUrl_actionPerformed(ActionEvent e)
434 // TODO Auto-generated method stub
438 protected void displayWsWarning_actionPerformed(ActionEvent e)
440 // TODO Auto-generated method stub
444 protected void resetWs_actionPerformed(ActionEvent e)
449 protected void indexByType_actionPerformed(ActionEvent e)
454 protected void indexByHost_actionPerformed(ActionEvent e)
459 protected void newWsUrl_actionPerformed(ActionEvent e)
464 protected void editWsUrl_actionPerformed(ActionEvent e)
469 protected void deleteWsUrl_actionPerformed(ActionEvent e)
474 protected void moveWsUrlUp_actionPerformed(ActionEvent e)
479 protected void moveWsUrlDown_actionPerformed(ActionEvent e)
484 protected void enableEnfinServices_actionPerformed(ActionEvent e)
489 protected void enableJws2Services_actionPerformed(ActionEvent e)
494 protected void refreshWs_actionPerformed(ActionEvent e)