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   JPanel jPanel1 = new JPanel();
  15   GridLayout gridLayout1 = new GridLayout();
  16   protected JButton createNewGroup = new JButton();
  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(3, 30, 34, 15));
  34     this.setLayout(null);
  35     textfield.setFont(new java.awt.Font("Verdana", 0, 12));
  36     textfield.setText("");
  37     textfield.setBounds(new Rectangle(40, 27, 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     jPanel1.setBounds(new Rectangle(180, 5, 141, 64));
  72     jPanel1.setLayout(gridLayout1);
  73     gridLayout1.setHgap(0);
  74     gridLayout1.setRows(3);
  75     gridLayout1.setVgap(2);
  76     createNewGroup.setEnabled(false);
  77     createNewGroup.setFont(new java.awt.Font("Verdana", 0, 12));
  78     createNewGroup.setToolTipText("");
  79     createNewGroup.setMargin(new Insets(0, 0, 0, 0));
  80     createNewGroup.setText("Create new group");
  81     createNewGroup.addActionListener(new java.awt.event.ActionListener()
  82     {
  83       public void actionPerformed(ActionEvent e)
  84       {
  85         createNewGroup_actionPerformed(e);
  86       }
  87     });
  88     jPanel1.add(findNext, null);
  89     jPanel1.add(findAll, null);
  90     jPanel1.add(createNewGroup, null);
  91     this.add(textfield, null);
  92     this.add(jLabel1, null);
  93     this.add(jPanel1, null);
  94   }
  95
  96   protected void findNext_actionPerformed(ActionEvent e)
  97   {
  98
  99   }
 100
 101   protected void findAll_actionPerformed(ActionEvent e)
 102   {
 103
 104   }
 105
 106
 107   protected void textfield_actionPerformed(ActionEvent e)
 108   {
 109
 110   }
 111
 112   void textfield_keyTyped(KeyEvent e)
 113   {
 114     findNext.setEnabled(true);
 115   }
 116
 117   public void createNewGroup_actionPerformed(ActionEvent e)
 118   {
 119
 120   }
 121
 122 }