src/jalview/jbgui/GWsPreferences.java

   1 /**
   2  *
   3  */
   4 package jalview.jbgui;
   5
   6 import java.awt.BorderLayout;
   7 import java.awt.Dimension;
   8 import java.awt.FlowLayout;
   9 import java.awt.Font;
  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;
  16
  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;
  27
  28 /**
  29  * Preference dialog for jalview web services
  30  *
  31  * @author JimP
  32  */
  33 public class GWsPreferences extends JPanel
  34 {
  35   protected JList wsList = new JList();
  36
  37   protected TitledBorder wsListTitleBorder = new TitledBorder(
  38           "Web Service Discovery URLS");
  39
  40   protected JButton newWsUrl = new JButton();
  41
  42   protected JButton editWsUrl = new JButton();
  43
  44   protected JButton deleteWsUrl = new JButton();
  45
  46   protected JButton moveWsUrlUp = new JButton();
  47
  48   protected JButton moveWsUrlDown = new JButton();
  49
  50   protected JCheckBox indexByHost = new JCheckBox();
  51
  52   protected JCheckBox indexByType = new JCheckBox();
  53
  54   protected JCheckBox enableJws1Services = new JCheckBox();
  55
  56   protected JCheckBox enableJws2Services = new JCheckBox();
  57
  58   protected JCheckBox enableEnfinServices = new JCheckBox();
  59
  60   protected JButton refreshWs = new JButton();
  61   protected JButton resetWs = new JButton();
  62
  63   protected JProgressBar progressBar = new JProgressBar();
  64
  65   JScrollPane wsListPane = new JScrollPane();
  66
  67   JPanel wsListUrlPanel = new JPanel();
  68
  69   JPanel wsListPanel = new JPanel();
  70
  71   JPanel wsListButtons = new JPanel();
  72
  73   JPanel wsListNavButs = new JPanel();
  74
  75   BorderLayout myBorderlayout = new BorderLayout();
  76
  77   BorderLayout wsListBorderlayout = new BorderLayout();
  78
  79   GridBagLayout wsPrefLayout = new GridBagLayout();
  80
  81   GridBagLayout wsListLayout = new GridBagLayout();
  82
  83   GridBagLayout wsMenuLayout = new GridBagLayout();
  84
  85   JPanel wsMenuButtons = new JPanel();
  86   JPanel wsMenuRefreshButs = new JPanel();
  87   public GWsPreferences()
  88   {
  89     jbInit();
  90   }
  91
  92   private void jbInit()
  93   {
  94
  95     refreshWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
  96     refreshWs.setText("Refresh Services");
  97     refreshWs.addActionListener(new ActionListener()
  98     {
  99       public void actionPerformed(ActionEvent e)
 100       {
 101         refreshWs_actionPerformed(e);
 102       }
 103     });
 104     resetWs.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 105     resetWs.setText("Reset Services");
 106
 107     resetWs.addActionListener(new ActionListener()
 108     {
 109       public void actionPerformed(ActionEvent e)
 110       {
 111         resetWs_actionPerformed(e);
 112       }
 113     });
 114     indexByHost.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 115     indexByHost.setText("Index by host");
 116     indexByHost
 117             .setToolTipText("Index web services in menu by the host site.");
 118     indexByHost.addActionListener(new ActionListener()
 119     {
 120       public void actionPerformed(ActionEvent e)
 121       {
 122         indexByHost_actionPerformed(e);
 123       }
 124     });
 125     indexByType.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 126     indexByType.setText("Index by type");
 127     indexByType.addActionListener(new ActionListener()
 128     {
 129       public void actionPerformed(ActionEvent e)
 130       {
 131         indexByType_actionPerformed(e);
 132       }
 133     });
 134     enableEnfinServices
 135             .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 136     enableEnfinServices.setText("Enable Enfin Services");
 137     enableEnfinServices.addActionListener(new ActionListener()
 138     {
 139       public void actionPerformed(ActionEvent e)
 140       {
 141         enableEnfinServices_actionPerformed(e);
 142       }
 143     });
 144     enableJws2Services
 145             .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 146     enableJws2Services.setText("Enable JABAWS Services");
 147     enableJws2Services.addActionListener(new ActionListener()
 148     {
 149       public void actionPerformed(ActionEvent e)
 150       {
 151         enableJws2Services_actionPerformed(e);
 152       }
 153     });
 154     enableJws1Services
 155             .setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 156     enableJws1Services.setText("Enable Legacy Services");
 157     enableJws1Services.addActionListener(new ActionListener()
 158     {
 159       public void actionPerformed(ActionEvent e)
 160       {
 161         enableJws1Services_actionPerformed(e);
 162       }
 163     });
 164     newWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 165     newWsUrl.setText("New Service URL");
 166     newWsUrl.addActionListener(new ActionListener()
 167     {
 168       public void actionPerformed(ActionEvent e)
 169       {
 170         newWsUrl_actionPerformed(e);
 171       }
 172     });
 173     editWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 174     editWsUrl.setText("Edit Service URL");
 175     editWsUrl.addActionListener(new ActionListener()
 176     {
 177       public void actionPerformed(ActionEvent e)
 178       {
 179         editWsUrl_actionPerformed(e);
 180       }
 181     });
 182
 183     deleteWsUrl.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
 184     deleteWsUrl.setText("Delete Service URL");
 185     deleteWsUrl.addActionListener(new ActionListener()
 186     {
 187       public void actionPerformed(ActionEvent e)
 188       {
 189         deleteWsUrl_actionPerformed(e);
 190       }
 191     });
 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()
 196     {
 197       public void actionPerformed(ActionEvent e)
 198       {
 199         moveWsUrlUp_actionPerformed(e);
 200       }
 201     });
 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()
 206     {
 207       public void actionPerformed(ActionEvent e)
 208       {
 209         moveWsUrlDown_actionPerformed(e);
 210       }
 211     });
 212
 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() {
 225
 226       public void mouseClicked(MouseEvent e)
 227       {
 228         if (e.getClickCount()>1)
 229         {
 230           editWsUrl_actionPerformed(null);
 231         }
 232
 233       }
 234
 235       public void mouseEntered(MouseEvent e)
 236       {
 237
 238       }
 239
 240       public void mouseExited(MouseEvent e)
 241       {
 242       }
 243
 244       public void mousePressed(MouseEvent e)
 245       {
 246
 247       }
 248
 249       public void mouseReleased(MouseEvent e)
 250       {
 251
 252       }
 253
 254     });
 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);
 289   }
 290
 291   protected void resetWs_actionPerformed(ActionEvent e)
 292   {
 293
 294   }
 295
 296   protected void indexByType_actionPerformed(ActionEvent e)
 297   {
 298
 299   }
 300
 301   protected void indexByHost_actionPerformed(ActionEvent e)
 302   {
 303
 304   }
 305
 306   protected void newWsUrl_actionPerformed(ActionEvent e)
 307   {
 308
 309   }
 310
 311   protected void editWsUrl_actionPerformed(ActionEvent e)
 312   {
 313
 314   }
 315
 316   protected void deleteWsUrl_actionPerformed(ActionEvent e)
 317   {
 318
 319   }
 320
 321   protected void moveWsUrlUp_actionPerformed(ActionEvent e)
 322   {
 323
 324   }
 325
 326   protected void moveWsUrlDown_actionPerformed(ActionEvent e)
 327   {
 328
 329   }
 330
 331   protected void enableEnfinServices_actionPerformed(ActionEvent e)
 332   {
 333
 334   }
 335
 336   protected void enableJws2Services_actionPerformed(ActionEvent e)
 337   {
 338
 339   }
 340
 341   protected void enableJws1Services_actionPerformed(ActionEvent e)
 342   {
 343
 344   }
 345
 346   protected void refreshWs_actionPerformed(ActionEvent e)
 347   {
 348
 349   }
 350
 351 }