src/jalview/jbgui/GFinder.java

   1 package jalview.jbgui;
   2
   3 import javax.swing.*;
   4 import java.awt.*;
   5 import java.awt.event.*;
   6
   7
   8 public class GFinder extends JPanel
   9 {
  10   JLabel jLabel1 = new JLabel();
  11   protected JTextField textfield = new JTextField();
  12   protected JButton findAll = new JButton();
  13   protected JButton findNext = new JButton();
  14   protected JButton cancel = new JButton();
  15   JPanel jPanel1 = new JPanel();
  16   GridLayout gridLayout1 = new GridLayout();
  17
  18   public GFinder()
  19   {
  20     try
  21     {
  22       jbInit();
  23     }
  24     catch(Exception e)
  25     {
  26       e.printStackTrace();
  27     }
  28   }
  29   private void jbInit() throws Exception
  30   {
  31     jLabel1.setFont(new java.awt.Font("Verdana", 0, 12));
  32     jLabel1.setText("Find");
  33     jLabel1.setBounds(new Rectangle(6, 28, 34, 15));
  34     this.setLayout(null);
  35     textfield.setFont(new java.awt.Font("Verdana", 0, 12));
  36     textfield.setText("");
  37     textfield.setBounds(new Rectangle(41, 24, 133, 21));
  38     textfield.addKeyListener(new java.awt.event.KeyAdapter()
  39     {
  40       public void keyTyped(KeyEvent e)
  41       {
  42         textfield_keyTyped(e);
  43       }
  44     });
  45     textfield.addActionListener(new java.awt.event.ActionListener()
  46     {
  47       public void actionPerformed(ActionEvent e)
  48       {
  49         textfield_actionPerformed(e);
  50       }
  51     });
  52     findAll.setFont(new java.awt.Font("Verdana", 0, 12));
  53     findAll.setText("Find all");
  54     findAll.addActionListener(new java.awt.event.ActionListener()
  55     {
  56       public void actionPerformed(ActionEvent e)
  57       {
  58         findAll_actionPerformed(e);
  59       }
  60     });
  61     findNext.setEnabled(false);
  62     findNext.setFont(new java.awt.Font("Verdana", 0, 12));
  63     findNext.setText("Find Next");
  64     findNext.addActionListener(new java.awt.event.ActionListener()
  65     {
  66       public void actionPerformed(ActionEvent e)
  67       {
  68         findNext_actionPerformed(e);
  69       }
  70     });
  71     cancel.setFont(new java.awt.Font("Verdana", 0, 12));
  72     cancel.setText("Close");
  73     cancel.addActionListener(new java.awt.event.ActionListener()
  74     {
  75       public void actionPerformed(ActionEvent e)
  76       {
  77         cancel_actionPerformed(e);
  78       }
  79     });
  80     jPanel1.setBounds(new Rectangle(178, 4, 102, 62));
  81     jPanel1.setLayout(gridLayout1);
  82     gridLayout1.setHgap(0);
  83     gridLayout1.setRows(3);
  84     gridLayout1.setVgap(2);
  85     this.add(textfield, null);
  86     this.add(jPanel1, null);
  87     jPanel1.add(findNext, null);
  88     jPanel1.add(findAll, null);
  89     jPanel1.add(cancel, null);
  90     this.add(jLabel1, null);
  91   }
  92
  93   protected void findNext_actionPerformed(ActionEvent e)
  94   {
  95
  96   }
  97
  98   protected void findAll_actionPerformed(ActionEvent e)
  99   {
 100
 101   }
 102
 103   protected void cancel_actionPerformed(ActionEvent e)
 104   {
 105
 106   }
 107
 108   protected void textfield_actionPerformed(ActionEvent e)
 109   {
 110
 111   }
 112
 113   void textfield_keyTyped(KeyEvent e)
 114   {
 115     findNext.setEnabled(true);
 116   }
 117 }