6 import java.awt.BorderLayout;
7 import java.awt.Dimension;
8 import java.awt.FlowLayout;
10 import java.awt.GridBagLayout;
11 import java.awt.GridLayout;
12 import java.awt.event.ActionEvent;
13 import java.awt.event.ActionListener;
14 import java.awt.event.MouseEvent;
15 import java.awt.event.MouseListener;
17 import javax.swing.BorderFactory;
18 import javax.swing.JButton;
19 import javax.swing.JCheckBox;
20 import javax.swing.JList;
21 import javax.swing.JPanel;
22 import javax.swing.JProgressBar;
23 import javax.swing.JScrollPane;
24 import javax.swing.ListSelectionModel;
25 import javax.swing.SwingConstants;
26 import javax.swing.border.TitledBorder;
29 * Preference dialog for jalview web services
33 public class GWsPreferences extends JPanel
35 protected JList wsList = new JList();
37 protected TitledBorder wsListTitleBorder = new TitledBorder(
38 "Web Service Discovery URLS");
40 protected JButton newWsUrl = new JButton();
42 protected JButton editWsUrl = new JButton();
44 protected JButton deleteWsUrl = new JButton();
46 protected JButton moveWsUrlUp = new JButton();
48 protected JButton moveWsUrlDown = new JButton();
50 protected JCheckBox indexByHost = new JCheckBox();
52 protected JCheckBox indexByType = new JCheckBox();
54 protected JCheckBox enableJws1Services = new JCheckBox();
56 protected JCheckBox enableJws2Services = new JCheckBox();
58 protected JCheckBox enableEnfinServices = new JCheckBox();
60 protected JButton refreshWs = new JButton();
61 protected JButton resetWs = new JButton();
63 protected JProgressBar progressBar = new JProgressBar();
65 JScrollPane wsListPane = new JScrollPane();
67 JPanel wsListUrlPanel = new JPanel();
69 JPanel wsListPanel = new JPanel();
71 JPanel wsListButtons = new JPanel();
73 JPanel wsListNavButs = new JPanel();
75 BorderLayout myBorderlayout = new BorderLayout();
77 BorderLayout wsListBorderlayout = new BorderLayout();
79 GridBagLayout wsPrefLayout = new GridBagLayout();
81 GridBagLayout wsListLayout = new GridBagLayout();
83 GridBagLayout wsMenuLayout = new GridBagLayout();
85 JPanel wsMenuButtons = new JPanel();
86 JPanel wsMenuRefreshButs = new JPanel();
87 public GWsPreferences()
95 refreshWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
96 refreshWs.setText("Refresh Services");
97 refreshWs.addActionListener(new ActionListener()
99 public void actionPerformed(ActionEvent e)
101 refreshWs_actionPerformed(e);
104 resetWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
105 resetWs.setText("Reset Services");
107 resetWs.addActionListener(new ActionListener()
109 public void actionPerformed(ActionEvent e)
111 resetWs_actionPerformed(e);
114 indexByHost.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
115 indexByHost.setText("Index by host");
117 .setToolTipText("Index web services in menu by the host site.");
118 indexByHost.addActionListener(new ActionListener()
120 public void actionPerformed(ActionEvent e)
122 indexByHost_actionPerformed(e);
125 indexByType.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
126 indexByType.setText("Index by type");
127 indexByType.addActionListener(new ActionListener()
129 public void actionPerformed(ActionEvent e)
131 indexByType_actionPerformed(e);
135 .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
136 enableEnfinServices.setText("Enable Enfin Services");
137 enableEnfinServices.addActionListener(new ActionListener()
139 public void actionPerformed(ActionEvent e)
141 enableEnfinServices_actionPerformed(e);
145 .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
146 enableJws2Services.setText("Enable JWS2 Services");
147 enableJws2Services.addActionListener(new ActionListener()
149 public void actionPerformed(ActionEvent e)
151 enableJws2Services_actionPerformed(e);
155 .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
156 enableJws1Services.setText("Enable JWS1 Services");
157 enableJws1Services.addActionListener(new ActionListener()
159 public void actionPerformed(ActionEvent e)
161 enableJws1Services_actionPerformed(e);
164 newWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
165 newWsUrl.setText("New Service URL");
166 newWsUrl.addActionListener(new ActionListener()
168 public void actionPerformed(ActionEvent e)
170 newWsUrl_actionPerformed(e);
173 editWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
174 editWsUrl.setText("Edit Service URL");
175 editWsUrl.addActionListener(new ActionListener()
177 public void actionPerformed(ActionEvent e)
179 editWsUrl_actionPerformed(e);
183 deleteWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
184 deleteWsUrl.setText("Delete Service URL");
185 deleteWsUrl.addActionListener(new ActionListener()
187 public void actionPerformed(ActionEvent e)
189 deleteWsUrl_actionPerformed(e);
192 moveWsUrlUp.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
193 moveWsUrlUp.setText("Up");
194 moveWsUrlUp.setToolTipText("Move URL up");
195 moveWsUrlUp.addActionListener(new ActionListener()
197 public void actionPerformed(ActionEvent e)
199 moveWsUrlUp_actionPerformed(e);
202 moveWsUrlDown.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
203 moveWsUrlDown.setText("Down");
204 moveWsUrlDown.setToolTipText("Move URL Down");
205 moveWsUrlDown.addActionListener(new ActionListener()
207 public void actionPerformed(ActionEvent e)
209 moveWsUrlDown_actionPerformed(e);
213 setLayout(myBorderlayout);
214 setPreferredSize(new Dimension(500,400));
215 progressBar.setPreferredSize(new Dimension(450, 20));
216 progressBar.setString("");
217 wsListUrlPanel.setBorder(BorderFactory.createEtchedBorder());
218 wsListUrlPanel.setLayout(new BorderLayout());
219 // wsListUrlPanel.setPreferredSize(new Dimension(482,202));
220 wsListPane.setBorder(BorderFactory.createEtchedBorder());
221 wsListPane.getViewport().add(wsList);
222 wsListPane.setPreferredSize(new Dimension(380, 200));
223 wsList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
224 wsList.addMouseListener(new MouseListener() {
226 public void mouseClicked(MouseEvent e)
228 if (e.getClickCount()>1)
230 editWsUrl_actionPerformed(null);
235 public void mouseEntered(MouseEvent e)
240 public void mouseExited(MouseEvent e)
244 public void mousePressed(MouseEvent e)
249 public void mouseReleased(MouseEvent e)
255 // wsListButtons.setPreferredSize(new Dimension(480, 60));
256 wsListButtons.setLayout(new FlowLayout());
257 //wsListButtons.add(moveWsUrlUp);
258 //wsListButtons.add(moveWsUrlDown);
259 wsListButtons.add(newWsUrl);
260 wsListButtons.add(editWsUrl);
261 wsListButtons.add(deleteWsUrl);
262 wsListNavButs.setSize(new Dimension(80,80));
263 wsListNavButs.setPreferredSize(new Dimension(80,80));
264 wsListNavButs.setLayout(new FlowLayout());
265 wsListNavButs.add(moveWsUrlUp);
266 wsListNavButs.add(moveWsUrlDown);
267 wsListUrlPanel.add(wsListPane,BorderLayout.EAST);
268 wsListUrlPanel.add(wsListNavButs,BorderLayout.WEST);
269 wsListPanel.setBorder(wsListTitleBorder);
270 wsListPanel.setLayout(new BorderLayout());
271 wsListPanel.add(wsListUrlPanel, BorderLayout.NORTH);
272 wsListPanel.add(wsListButtons, BorderLayout.SOUTH);
273 wsMenuButtons.setLayout(new GridLayout(2,3));
274 wsMenuButtons.add(indexByHost);
275 wsMenuButtons.add(indexByType);
276 wsMenuButtons.add(enableJws1Services);
277 wsMenuButtons.add(enableJws2Services);
278 wsMenuButtons.add(enableEnfinServices);
279 wsMenuRefreshButs.setLayout(new FlowLayout());
280 wsMenuRefreshButs.setPreferredSize(new Dimension(480,30));
281 wsMenuRefreshButs.setSize(new Dimension(480,30));
282 wsMenuRefreshButs.add(refreshWs,null);
283 wsMenuRefreshButs.add(resetWs,null);
284 wsMenuRefreshButs.add(progressBar,null);
285 myBorderlayout.setHgap(3);
286 add(wsListPanel,BorderLayout.NORTH);
287 add(wsMenuButtons,BorderLayout.CENTER);
288 add(wsMenuRefreshButs, BorderLayout.SOUTH);
291 protected void resetWs_actionPerformed(ActionEvent e)
296 protected void indexByType_actionPerformed(ActionEvent e)
301 protected void indexByHost_actionPerformed(ActionEvent e)
306 protected void newWsUrl_actionPerformed(ActionEvent e)
311 protected void editWsUrl_actionPerformed(ActionEvent e)
316 protected void deleteWsUrl_actionPerformed(ActionEvent e)
321 protected void moveWsUrlUp_actionPerformed(ActionEvent e)
326 protected void moveWsUrlDown_actionPerformed(ActionEvent e)
331 protected void enableEnfinServices_actionPerformed(ActionEvent e)
336 protected void enableJws2Services_actionPerformed(ActionEvent e)
341 protected void enableJws1Services_actionPerformed(ActionEvent e)
346 protected void refreshWs_actionPerformed(ActionEvent e)