Allow for uniprot in name
[jalview.git] / src / jalview / jbgui / GPreferences.java
1 /*\r
2 * Jalview - A Sequence Alignment Editor and Viewer\r
3 * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
4 *\r
5 * This program is free software; you can redistribute it and/or\r
6 * modify it under the terms of the GNU General Public License\r
7 * as published by the Free Software Foundation; either version 2\r
8 * of the License, or (at your option) any later version.\r
9 *\r
10 * This program is distributed in the hope that it will be useful,\r
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
13 * GNU General Public License for more details.\r
14 *\r
15 * You should have received a copy of the GNU General Public License\r
16 * along with this program; if not, write to the Free Software\r
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
18 */\r
19 package jalview.jbgui;\r
20 \r
21 import java.awt.*;\r
22 \r
23 import javax.swing.*;\r
24 import javax.swing.border.TitledBorder;\r
25 import java.awt.event.*;\r
26 import javax.swing.event.*;\r
27 \r
28 \r
29 /**\r
30  * DOCUMENT ME!\r
31  *\r
32  * @author $author$\r
33  * @version $Revision$\r
34  */\r
35 public class GPreferences extends JPanel\r
36 {\r
37     JTabbedPane tabbedPane = new JTabbedPane();\r
38 \r
39     JButton ok = new JButton();\r
40     JButton cancel = new JButton();\r
41     JPanel okCancelPanel = new JPanel();\r
42     BorderLayout borderLayout1 = new BorderLayout();\r
43     protected JCheckBox quality = new JCheckBox();\r
44     JPanel visualTab = new JPanel();\r
45     protected JCheckBox dbRef = new JCheckBox();\r
46     protected JCheckBox fullScreen = new JCheckBox();\r
47     protected JCheckBox conservation = new JCheckBox();\r
48     protected JCheckBox identity = new JCheckBox();\r
49     protected JCheckBox annotations = new JCheckBox();\r
50     JLabel gapLabel = new JLabel();\r
51     protected JComboBox colour = new JComboBox();\r
52     JLabel colourLabel = new JLabel();\r
53     JLabel fontLabel = new JLabel();\r
54     protected JComboBox fontSizeCB = new JComboBox();\r
55     protected JComboBox fontStyleCB = new JComboBox();\r
56     protected JComboBox fontNameCB = new JComboBox();\r
57     protected JComboBox gapSymbolCB = new JComboBox();\r
58     protected JCheckBox startupCheckbox = new JCheckBox();\r
59     protected JTextField startupFileTextfield = new JTextField();\r
60   JPanel connectTab = new JPanel();\r
61   JLabel serverLabel = new JLabel();\r
62   protected JList linkURLList = new JList();\r
63   protected JTextField proxyServerTB = new JTextField();\r
64   protected JTextField proxyPortTB = new JTextField();\r
65   JLabel portLabel = new JLabel();\r
66   JLabel browserLabel = new JLabel();\r
67   protected JTextField defaultBrowser = new JTextField();\r
68   JButton newLink = new JButton();\r
69   JButton editLink = new JButton();\r
70   JButton deleteLink = new JButton();\r
71   JScrollPane linkScrollPane = new JScrollPane();\r
72   JPanel linkPanel = new JPanel();\r
73   BorderLayout borderLayout2 = new BorderLayout();\r
74   JPanel editLinkButtons = new JPanel();\r
75   GridLayout gridLayout1 = new GridLayout();\r
76   protected JList linkNameList = new JList();\r
77   JPanel linkPanel2 = new JPanel();\r
78   BorderLayout borderLayout3 = new BorderLayout();\r
79   protected JCheckBox useProxy = new JCheckBox();\r
80   JPanel jPanel1 = new JPanel();\r
81   TitledBorder titledBorder1 = new TitledBorder("Proxy Server");\r
82   TitledBorder titledBorder2 = new TitledBorder("File Output");\r
83   GridBagLayout gridBagLayout2 = new GridBagLayout();\r
84   GridBagLayout gridBagLayout1 = new GridBagLayout();\r
85   GridBagLayout gridBagLayout3 = new GridBagLayout();\r
86   protected JComboBox sortby = new JComboBox();\r
87   JLabel sortLabel = new JLabel();\r
88   JPanel jPanel2 = new JPanel();\r
89   GridLayout gridLayout2 = new GridLayout();\r
90   JPanel jPanel3 = new JPanel();\r
91   JPanel exportTab = new JPanel();\r
92   JLabel epsLabel = new JLabel();\r
93   protected JComboBox epsRendering = new JComboBox();\r
94   JLabel jLabel1 = new JLabel();\r
95   protected  JCheckBox blcjv = new JCheckBox();\r
96   protected  JCheckBox pileupjv = new JCheckBox();\r
97   protected  JCheckBox clustaljv = new JCheckBox();\r
98   protected  JCheckBox msfjv = new JCheckBox();\r
99   protected  JCheckBox fastajv = new JCheckBox();\r
100   protected  JCheckBox pfamjv = new JCheckBox();\r
101   JLabel jLabel11 = new JLabel();\r
102   FlowLayout flowLayout1 = new FlowLayout();\r
103   protected  JCheckBox pirjv = new JCheckBox();\r
104   JPanel jPanel11 = new JPanel();\r
105   Font verdana11 = new java.awt.Font("Verdana", Font.PLAIN, 11);\r
106   protected JCheckBox seqLimit = new JCheckBox();\r
107   GridLayout gridLayout3 = new GridLayout();\r
108   /**\r
109      * Creates a new GPreferences object.\r
110      */\r
111     public GPreferences()\r
112     {\r
113         try\r
114         {\r
115             jbInit();\r
116         }\r
117         catch (Exception ex)\r
118         {\r
119             ex.printStackTrace();\r
120         }\r
121     }\r
122 \r
123     /**\r
124      * DOCUMENT ME!\r
125      *\r
126      * @throws Exception DOCUMENT ME!\r
127      */\r
128     private void jbInit() throws Exception\r
129     {\r
130         this.setLayout(borderLayout1);\r
131         ok.setText("OK");\r
132         ok.addActionListener(new ActionListener()\r
133             {\r
134                 public void actionPerformed(ActionEvent e)\r
135                 {\r
136                     ok_actionPerformed(e);\r
137                 }\r
138             });\r
139         cancel.setText("Cancel");\r
140         cancel.addActionListener(new ActionListener()\r
141             {\r
142                 public void actionPerformed(ActionEvent e)\r
143                 {\r
144                     cancel_actionPerformed(e);\r
145                 }\r
146             });\r
147         quality.setEnabled(false);\r
148         quality.setFont(verdana11);\r
149         quality.setHorizontalAlignment(SwingConstants.RIGHT);\r
150         quality.setHorizontalTextPosition(SwingConstants.LEFT);\r
151         quality.setSelected(true);\r
152         quality.setText("Quality");\r
153     visualTab.setBorder(new TitledBorder("Open new alignment"));\r
154     visualTab.setLayout(null);\r
155     dbRef.setFont(verdana11);\r
156     dbRef.setHorizontalAlignment(SwingConstants.RIGHT);\r
157     dbRef.setHorizontalTextPosition(SwingConstants.LEFT);\r
158     dbRef.setMargin(new Insets(4, 2, 2, 0));\r
159     dbRef.setText("DB prefix (DB|AccNo)");\r
160     fullScreen.setFont(verdana11);\r
161         fullScreen.setHorizontalAlignment(SwingConstants.RIGHT);\r
162         fullScreen.setHorizontalTextPosition(SwingConstants.LEFT);\r
163     fullScreen.setMargin(new Insets(2, 2, 2, 0));\r
164     fullScreen.setText("Maximise Window");\r
165     conservation.setEnabled(false);\r
166         conservation.setFont(verdana11);\r
167         conservation.setHorizontalAlignment(SwingConstants.RIGHT);\r
168         conservation.setHorizontalTextPosition(SwingConstants.LEFT);\r
169         conservation.setSelected(true);\r
170         conservation.setText("Conservation");\r
171     identity.setEnabled(false);\r
172         identity.setFont(verdana11);\r
173         identity.setHorizontalAlignment(SwingConstants.RIGHT);\r
174         identity.setHorizontalTextPosition(SwingConstants.LEFT);\r
175         identity.setSelected(true);\r
176         identity.setText("Consensus");\r
177     annotations.setFont(verdana11);\r
178         annotations.setHorizontalAlignment(SwingConstants.RIGHT);\r
179         annotations.setHorizontalTextPosition(SwingConstants.LEFT);\r
180     annotations.setMargin(new Insets(2, 4, 2, 0));\r
181     annotations.setSelected(true);\r
182         annotations.setText("Show Annotations");\r
183     annotations.addActionListener(new ActionListener()\r
184             {\r
185                 public void actionPerformed(ActionEvent e)\r
186                 {\r
187                     annotations_actionPerformed(e);\r
188                 }\r
189             });\r
190         gapLabel.setFont(verdana11);\r
191         gapLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
192         gapLabel.setText("Gap Symbol ");\r
193     colour.setFont(verdana11);\r
194         colour.setBounds(new Rectangle(170, 170, 155, 21));\r
195         colourLabel.setFont(verdana11);\r
196         colourLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
197         colourLabel.setText("Colour ");\r
198     fontLabel.setFont(verdana11);\r
199         fontLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
200         fontLabel.setText("Font ");\r
201     fontSizeCB.setFont(verdana11);\r
202         fontSizeCB.setBounds(new Rectangle(317, 111, 49, 21));\r
203         fontStyleCB.setFont(verdana11);\r
204         fontStyleCB.setBounds(new Rectangle(365, 111, 70, 21));\r
205         fontNameCB.setFont(verdana11);\r
206         fontNameCB.setBounds(new Rectangle(170, 111, 147, 21));\r
207         gapSymbolCB.setFont(verdana11);\r
208         gapSymbolCB.setBounds(new Rectangle(170, 141, 69, 21));\r
209         startupCheckbox.setText("Open file");\r
210     startupCheckbox.setFont(verdana11);\r
211         startupCheckbox.setHorizontalAlignment(SwingConstants.RIGHT);\r
212         startupCheckbox.setHorizontalTextPosition(SwingConstants.LEFT);\r
213         startupCheckbox.setSelected(true);\r
214         startupFileTextfield.setFont(verdana11);\r
215         startupFileTextfield.setBounds(new Rectangle(170, 232, 271, 20));\r
216         startupFileTextfield.addMouseListener(new MouseAdapter()\r
217             {\r
218                 public void mouseClicked(MouseEvent e)\r
219                 {\r
220                     if (e.getClickCount() > 1)\r
221                     {\r
222                         startupFileTextfield_mouseClicked();\r
223                     }\r
224                 }\r
225             });\r
226 \r
227      connectTab.setLayout(gridBagLayout3);\r
228     serverLabel.setText("Address");\r
229     serverLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
230     serverLabel.setFont(verdana11);\r
231     proxyServerTB.setFont(verdana11);\r
232     proxyPortTB.setFont(verdana11);\r
233     portLabel.setFont(verdana11);\r
234     portLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
235     portLabel.setText("Port");\r
236     browserLabel.setFont(new java.awt.Font("SansSerif", 0, 11));\r
237     browserLabel.setHorizontalAlignment(SwingConstants.TRAILING);\r
238     browserLabel.setText("Default Browser (Unix)");\r
239     defaultBrowser.setFont(verdana11);\r
240     defaultBrowser.setText("");\r
241     newLink.setText("New");\r
242     newLink.addActionListener(new java.awt.event.ActionListener() {\r
243       public void actionPerformed(ActionEvent e) {\r
244         newLink_actionPerformed(e);\r
245       }\r
246     });\r
247     editLink.setText("Edit");\r
248     editLink.addActionListener(new java.awt.event.ActionListener() {\r
249       public void actionPerformed(ActionEvent e) {\r
250         editLink_actionPerformed(e);\r
251       }\r
252     });\r
253     deleteLink.setText("Delete");\r
254     deleteLink.addActionListener(new java.awt.event.ActionListener() {\r
255       public void actionPerformed(ActionEvent e) {\r
256         deleteLink_actionPerformed(e);\r
257       }\r
258     });\r
259 \r
260     linkURLList.addListSelectionListener(new ListSelectionListener()\r
261          {\r
262             public void valueChanged(ListSelectionEvent e)\r
263             {\r
264                int index = linkURLList.getSelectedIndex();\r
265                linkNameList.setSelectedIndex(index);\r
266             }\r
267          });\r
268 \r
269     linkNameList.addListSelectionListener(new ListSelectionListener()\r
270         {\r
271           public void valueChanged(ListSelectionEvent e)\r
272           {\r
273               int index = linkNameList.getSelectedIndex();\r
274               linkURLList.setSelectedIndex(index);\r
275           }\r
276         });\r
277 \r
278     linkScrollPane.setBorder(null);\r
279     linkPanel.setBorder(new TitledBorder("URL link from Sequence ID"));\r
280     linkPanel.setLayout(borderLayout2);\r
281     editLinkButtons.setLayout(gridLayout1);\r
282     gridLayout1.setRows(3);\r
283     linkNameList.setFont(new java.awt.Font("Verdana", Font.ITALIC, 11));\r
284     linkNameList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);\r
285     linkPanel2.setLayout(borderLayout3);\r
286     linkURLList.setFont(verdana11);\r
287     linkURLList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);\r
288 \r
289     defaultBrowser.addMouseListener(new MouseAdapter()\r
290     {\r
291       public void mouseClicked(MouseEvent e)\r
292       {\r
293         if (e.getClickCount() > 1)\r
294             {\r
295               defaultBrowser_mouseClicked(e);\r
296             }\r
297       }\r
298     });\r
299     useProxy.setFont(verdana11);\r
300     useProxy.setHorizontalAlignment(SwingConstants.RIGHT);\r
301     useProxy.setHorizontalTextPosition(SwingConstants.LEADING);\r
302     useProxy.setText("Use a proxy server");\r
303     useProxy.addActionListener(new ActionListener()\r
304     {\r
305       public void actionPerformed(ActionEvent e)\r
306       {\r
307         useProxy_actionPerformed();\r
308       }\r
309     });\r
310     jPanel1.setBorder(titledBorder1);\r
311     jPanel1.setLayout(gridBagLayout1);\r
312     sortby.setFont(verdana11);\r
313     sortby.setBounds(new Rectangle(170, 200, 155, 21));\r
314     sortLabel.setFont(verdana11);\r
315     sortLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
316     sortLabel.setText("Sort by ");\r
317     jPanel2.setBounds(new Rectangle(7, 17, 158, 242));\r
318     jPanel2.setLayout(gridLayout2);\r
319     gridLayout2.setRows(8);\r
320     jPanel3.setBounds(new Rectangle(168, 47, 274, 26));\r
321     exportTab.setLayout(null);\r
322     epsLabel.setFont(verdana11);\r
323     epsLabel.setHorizontalAlignment(SwingConstants.RIGHT);\r
324     epsLabel.setText("EPS Rendering Style");\r
325     epsLabel.setBounds(new Rectangle(9, 31, 140, 24));\r
326     epsRendering.setFont(verdana11);\r
327     epsRendering.setBounds(new Rectangle(154, 34, 187, 21));\r
328     jLabel1.setFont(verdana11);\r
329     jLabel1.setHorizontalAlignment(SwingConstants.CENTER);\r
330     jLabel1.setText("/start-end suffix");\r
331     jLabel1.setFont(verdana11);\r
332     fastajv.setFont(verdana11);\r
333     fastajv.setHorizontalAlignment(SwingConstants.LEFT);\r
334     jLabel11.setFont(new java.awt.Font("Verdana", Font.ITALIC, 11));\r
335     jLabel11.setHorizontalAlignment(SwingConstants.CENTER);\r
336     jLabel11.setText("(/15-380)");\r
337     clustaljv.setText("Clustal     ");\r
338     blcjv.setText("BLC     ");\r
339     fastajv.setText("Fasta     ");\r
340     msfjv.setText("MSF     ");\r
341     pfamjv.setText("PFAM     ");\r
342     pileupjv.setText("Pileup     ");\r
343     msfjv.setFont(verdana11);\r
344     msfjv.setHorizontalAlignment(SwingConstants.LEFT);\r
345     pirjv.setText("PIR     ");\r
346     jPanel11.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
347     jPanel11.setBorder(titledBorder2);\r
348     jPanel11.setBounds(new Rectangle(63, 70, 137, 182));\r
349     jPanel11.setLayout(gridLayout3);\r
350     blcjv.setFont(verdana11);\r
351     blcjv.setHorizontalAlignment(SwingConstants.LEFT);\r
352     clustaljv.setFont(verdana11);\r
353     clustaljv.setHorizontalAlignment(SwingConstants.LEFT);\r
354     pfamjv.setFont(verdana11);\r
355     pfamjv.setHorizontalAlignment(SwingConstants.LEFT);\r
356     pileupjv.setFont(verdana11);\r
357     pileupjv.setHorizontalAlignment(SwingConstants.LEFT);\r
358     pirjv.setFont(verdana11);\r
359     pirjv.setHorizontalAlignment(SwingConstants.LEFT);\r
360     seqLimit.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));\r
361     seqLimit.setHorizontalTextPosition(SwingConstants.LEADING);\r
362     seqLimit.setText("Sequence Limits (/1-350)");\r
363     seqLimit.setBounds(new Rectangle(172, 82, 195, 23));\r
364     gridLayout3.setRows(9);\r
365     jPanel2.add(fullScreen);\r
366     jPanel2.add(annotations);\r
367     jPanel2.add(dbRef);\r
368     jPanel2.add(fontLabel);\r
369     jPanel2.add(gapLabel);\r
370     jPanel2.add(colourLabel);\r
371     jPanel2.add(sortLabel);\r
372     jPanel2.add(startupCheckbox);\r
373     visualTab.add(gapSymbolCB);\r
374     visualTab.add(colour);\r
375     visualTab.add(seqLimit);\r
376     visualTab.add(jPanel3);\r
377     jPanel3.add(conservation);\r
378     jPanel3.add(identity);\r
379     jPanel3.add(quality);\r
380     visualTab.add(sortby);\r
381     visualTab.add(startupFileTextfield);\r
382     visualTab.add(fontNameCB);\r
383     visualTab.add(fontSizeCB);\r
384     visualTab.add(fontStyleCB);\r
385     visualTab.add(jPanel2);\r
386     linkPanel.add(editLinkButtons, BorderLayout.EAST);\r
387     editLinkButtons.add(newLink, null);\r
388     editLinkButtons.add(editLink, null);\r
389     editLinkButtons.add(deleteLink, null);\r
390     linkPanel.add(linkScrollPane, BorderLayout.CENTER);\r
391     linkScrollPane.getViewport().add(linkPanel2, null);\r
392     linkPanel2.add(linkURLList, BorderLayout.CENTER);\r
393     linkPanel2.add(linkNameList, BorderLayout.WEST);\r
394         okCancelPanel.add(ok);\r
395         okCancelPanel.add(cancel);\r
396     this.add(tabbedPane, java.awt.BorderLayout.CENTER);\r
397 \r
398         this.add(okCancelPanel, java.awt.BorderLayout.SOUTH);\r
399     jPanel1.add(serverLabel, new GridBagConstraints(0, 1, 1, 1, 0.0, 0.0\r
400         , GridBagConstraints.WEST, GridBagConstraints.NONE,\r
401         new Insets(0, 2, 4, 0), 5, 0));\r
402     jPanel1.add(portLabel, new GridBagConstraints(2, 1, 1, 1, 0.0, 0.0\r
403                                                   , GridBagConstraints.WEST,\r
404                                                   GridBagConstraints.NONE,\r
405                                                   new Insets(0, 0, 4, 0), 11, 6));\r
406     connectTab.add(linkPanel, new GridBagConstraints(0, 0, 2, 1, 1.0, 1.0\r
407         , GridBagConstraints.CENTER, GridBagConstraints.BOTH,\r
408         new Insets(16, 0, 0, 12), 359, -17));\r
409     connectTab.add(jPanel1, new GridBagConstraints(0, 2, 2, 1, 1.0, 1.0\r
410         , GridBagConstraints.CENTER, GridBagConstraints.BOTH,\r
411         new Insets(21, 0, 35, 12), 4, 6));\r
412     connectTab.add(browserLabel, new GridBagConstraints(0, 1, 1, 1, 0.0, 0.0\r
413         , GridBagConstraints.WEST, GridBagConstraints.NONE,\r
414         new Insets(16, 0, 0, 0), 5, 1));\r
415     jPanel1.add(proxyPortTB, new GridBagConstraints(3, 1, 1, 1, 1.0, 0.0\r
416         , GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL,\r
417         new Insets(0, 2, 4, 2), 54, 1));\r
418     jPanel1.add(proxyServerTB, new GridBagConstraints(1, 1, 1, 1, 1.0, 0.0\r
419         , GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL,\r
420         new Insets(0, 2, 4, 0), 263, 1));\r
421     connectTab.add(defaultBrowser, new GridBagConstraints(1, 1, 1, 1, 1.0, 0.0\r
422         , GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL,\r
423         new Insets(15, 0, 0, 15), 307, 1));\r
424 \r
425 \r
426     jPanel1.add(useProxy, new GridBagConstraints(0, 0, 2, 1, 0.0, 0.0\r
427                                                  , GridBagConstraints.WEST,\r
428                                                  GridBagConstraints.NONE,\r
429                                                  new Insets(0, 2, 5, 185), 2,\r
430                                                  -4));\r
431     DefaultListCellRenderer dlcr = new DefaultListCellRenderer();\r
432         dlcr.setHorizontalAlignment(DefaultListCellRenderer.CENTER);\r
433         gapSymbolCB.setRenderer(dlcr);\r
434 \r
435     tabbedPane.add(visualTab, "Visual");\r
436     tabbedPane.add(connectTab,"Connections");\r
437     tabbedPane.add(exportTab, "Output");\r
438     jPanel11.add(jLabel1);\r
439     jPanel11.add(jLabel11);\r
440     jPanel11.add(blcjv);\r
441     jPanel11.add(clustaljv);\r
442     jPanel11.add(fastajv);\r
443     jPanel11.add(msfjv);\r
444     jPanel11.add(pfamjv);\r
445     jPanel11.add(pileupjv);\r
446     jPanel11.add(pirjv);\r
447     exportTab.add(epsLabel);\r
448     exportTab.add(epsRendering);\r
449     exportTab.add(jPanel11);\r
450   }\r
451 \r
452     /**\r
453      * DOCUMENT ME!\r
454      *\r
455      * @param e DOCUMENT ME!\r
456      */\r
457     public void ok_actionPerformed(ActionEvent e)\r
458     {\r
459     }\r
460 \r
461     /**\r
462      * DOCUMENT ME!\r
463      *\r
464      * @param e DOCUMENT ME!\r
465      */\r
466     public void cancel_actionPerformed(ActionEvent e)\r
467     {\r
468     }\r
469 \r
470     /**\r
471      * DOCUMENT ME!\r
472      *\r
473      * @param e DOCUMENT ME!\r
474      */\r
475     public void annotations_actionPerformed(ActionEvent e)\r
476     {\r
477     }\r
478 \r
479 \r
480     /**\r
481      * DOCUMENT ME!\r
482      */\r
483     public void startupFileTextfield_mouseClicked()\r
484     {\r
485     }\r
486 \r
487 \r
488   public void newLink_actionPerformed(ActionEvent e) {\r
489 \r
490   }\r
491 \r
492   public void editLink_actionPerformed(ActionEvent e) {\r
493 \r
494   }\r
495 \r
496   public void deleteLink_actionPerformed(ActionEvent e) {\r
497 \r
498   }\r
499 \r
500   public void defaultBrowser_mouseClicked(MouseEvent e)\r
501   {\r
502 \r
503   }\r
504 \r
505   public void linkURLList_keyTyped(KeyEvent e)\r
506   {\r
507 \r
508   }\r
509 \r
510   public void useProxy_actionPerformed()\r
511   {\r
512       proxyServerTB.setEnabled(useProxy.isSelected());\r
513       proxyPortTB.setEnabled(useProxy.isSelected());\r
514   }\r
515 }\r