src/jalview/jbgui/GWebserviceInfo.java

   1 package jalview.jbgui;
   2
   3 import java.awt.*;
   4 import javax.swing.*;
   5 import java.awt.event.*;
   6
   7 public class GWebserviceInfo extends JPanel
   8 {
   9   protected JTextArea infoText = new JTextArea();
  10   JScrollPane jScrollPane1 = new JScrollPane();
  11   JScrollPane jScrollPane2 = new JScrollPane();
  12   protected JTextArea progressText = new JTextArea();
  13   JPanel jPanel1 = new JPanel();
  14   BorderLayout borderLayout1 = new BorderLayout();
  15   BorderLayout borderLayout2 = new BorderLayout();
  16   protected JPanel titlePanel = new JPanel();
  17   BorderLayout borderLayout3 = new BorderLayout();
  18   JPanel jPanel2 = new JPanel();
  19   protected JButton cancel = new JButton();
  20   GridBagLayout gridBagLayout1 = new GridBagLayout();
  21
  22   public GWebserviceInfo()
  23   {
  24     try
  25     {
  26       jbInit();
  27     }
  28     catch(Exception e)
  29     {
  30       e.printStackTrace();
  31     }
  32   }
  33   private void jbInit() throws Exception
  34   {
  35     infoText.setFont(new java.awt.Font("Verdana", 0, 10));
  36     infoText.setBorder(null);
  37     infoText.setEditable(false);
  38     infoText.setText("");
  39     infoText.setLineWrap(true);
  40     infoText.setWrapStyleWord(true);
  41     this.setLayout(borderLayout1);
  42     progressText.setFont(new java.awt.Font("Verdana", 0, 10));
  43     progressText.setBorder(null);
  44     progressText.setEditable(false);
  45     progressText.setText("");
  46     progressText.setLineWrap(true);
  47     progressText.setWrapStyleWord(true);
  48     jPanel1.setLayout(borderLayout2);
  49     titlePanel.setBackground(Color.white);
  50     titlePanel.setPreferredSize(new Dimension(0, 60));
  51     titlePanel.setLayout(borderLayout3);
  52     jScrollPane2.setBorder(null);
  53     jScrollPane1.setBorder(null);
  54     jScrollPane1.setPreferredSize(new Dimension(400, 70));
  55     cancel.setFont(new java.awt.Font("Verdana", 0, 11));
  56     cancel.setText("Cancel");
  57     cancel.addActionListener(new java.awt.event.ActionListener()
  58     {
  59       public void actionPerformed(ActionEvent e)
  60       {
  61         cancel_actionPerformed(e);
  62       }
  63     });
  64     jPanel2.setLayout(gridBagLayout1);
  65     jPanel2.setOpaque(false);
  66     this.add(jScrollPane2, BorderLayout.CENTER);
  67     this.add(jPanel1, BorderLayout.NORTH);
  68     jPanel1.add(jScrollPane1, BorderLayout.CENTER);
  69     jScrollPane1.getViewport().add(infoText, null);
  70     jScrollPane2.getViewport().add(progressText, null);
  71     jPanel1.add(titlePanel, BorderLayout.NORTH);
  72     titlePanel.add(jPanel2, BorderLayout.EAST);
  73     jPanel2.add(cancel,    new GridBagConstraints(0, 0, 1, 1, 0.0, 0.0
  74             ,GridBagConstraints.SOUTH, GridBagConstraints.NONE, new Insets(24, 5, 21, 5), 0, 0));
  75   }
  76
  77   protected void cancel_actionPerformed(ActionEvent e)
  78   {
  79
  80   }
  81 }