import jalview.util.MessageManager;
import java.awt.BorderLayout;
-import java.awt.Dimension;
import java.awt.Font;
import java.awt.GridLayout;
-import java.awt.Insets;
import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.awt.event.KeyAdapter;
import java.awt.event.KeyEvent;
import javax.swing.JButton;
public class GFinder extends JPanel
{
- private static final java.awt.Font VERDANA_12 = new java.awt.Font("Verdana", 0,
- 12);
+ private static final java.awt.Font VERDANA_12 = new Font("Verdana",
+ Font.PLAIN, 12);
private static final String FINDER_CACHE_KEY = "CACHE.FINDER";
- protected JButton createFeatures = new JButton();
+ /*
+ * if more checkboxes are wanted, increase this value
+ * and add to centrePanel in jbInit()
+ */
+ private static final int PANEL_ROWS = 4;
+
+ protected JButton createFeatures;
- protected JvCacheableInputBox<String> searchBox = new JvCacheableInputBox<>(
- getCacheKey());
+ protected JvCacheableInputBox<String> searchBox;
- protected JCheckBox caseSensitive = new JCheckBox();
+ protected JCheckBox caseSensitive;
- protected JCheckBox searchDescription = new JCheckBox();
+ protected JCheckBox searchDescription;
+
+ protected JCheckBox ignoreHidden;
public GFinder()
{
}
}
+ /**
+ * Constructs the widgets and adds them to the layout
+ */
private void jbInit() throws Exception
{
- BorderLayout mainBorderLayout = new BorderLayout();
- this.setLayout(mainBorderLayout);
- mainBorderLayout.setHgap(5);
- mainBorderLayout.setVgap(5);
+ /*
+ * border layout
+ * West: 4 rows
+ * first row 'Find'
+ * remaining rows empty
+ * Center: 4 rows
+ * first row search box
+ * second row 'match case' checkbox
+ * third row 'include description' checkbox
+ * fourth row 'ignore hidden' checkbox
+ * East: four rows
+ * first row 'find next' button
+ * second row 'find all' button
+ * third row 'new feature' button
+ * fourth row empty
+ */
+ this.setLayout(new BorderLayout());
+ JPanel eastPanel = new JPanel();
+ eastPanel.setLayout(new GridLayout(PANEL_ROWS, 1));
+ this.add(eastPanel, BorderLayout.EAST);
+ JPanel centrePanel = new JPanel();
+ centrePanel.setLayout(new GridLayout(PANEL_ROWS, 1));
+ this.add(centrePanel, BorderLayout.CENTER);
+ JPanel westPanel = new JPanel();
+ westPanel.setLayout(new GridLayout(PANEL_ROWS, 1));
+ this.add(westPanel, BorderLayout.WEST);
- JLabel jLabelFind = new JLabel(MessageManager.getString("label.find"));
- jLabelFind.setFont(VERDANA_12);
+ /*
+ * 'Find' prompt goes top left
+ */
+ JLabel findLabel = new JLabel(
+ " " + MessageManager.getString("label.find") + " ");
+ findLabel.setFont(VERDANA_12);
+ westPanel.add(findLabel);
+ /*
+ * search box
+ */
+ searchBox = new JvCacheableInputBox<>(FINDER_CACHE_KEY, 25);
+ searchBox.getComponent().setFont(VERDANA_12);
+ searchBox.addCaretListener(new CaretListener()
+ {
+ @Override
+ public void caretUpdate(CaretEvent e)
+ {
+ textfield_caretUpdate();
+ }
+ });
+ searchBox.addKeyListener(new KeyAdapter()
+ {
+ @Override
+ public void keyPressed(KeyEvent e)
+ {
+ textfield_keyPressed(e);
+ }
+ });
+ centrePanel.add(searchBox.getComponent());
+
+ /*
+ * search options checkboxes
+ */
+ caseSensitive = new JCheckBox();
+ caseSensitive.setHorizontalAlignment(SwingConstants.LEFT);
+ caseSensitive.setText(MessageManager.getString("label.match_case"));
+
+ searchDescription = new JCheckBox();
+ searchDescription
+ .setText(MessageManager.getString("label.include_description"));
+
+ ignoreHidden = new JCheckBox();
+ ignoreHidden.setText(MessageManager.getString("label.ignore_hidden"));
+ ignoreHidden.setToolTipText(
+ MessageManager.getString("label.ignore_hidden_tooltip"));
+
+ centrePanel.add(caseSensitive);
+ centrePanel.add(searchDescription);
+ centrePanel.add(ignoreHidden);
+
+ /*
+ * action buttons
+ */
JButton findAll = new JButton(
MessageManager.getString("action.find_all"));
findAll.setFont(VERDANA_12);
- findAll.addActionListener(new java.awt.event.ActionListener()
+ findAll.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent e)
findAll_actionPerformed();
}
});
-
JButton findNext = new JButton(
MessageManager.getString("action.find_next"));
findNext.setFont(VERDANA_12);
- findNext.addActionListener(new java.awt.event.ActionListener()
+ findNext.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent e)
findNext_actionPerformed();
}
});
-
- JPanel actionsPanel = new JPanel();
- GridLayout gridLayout1 = new GridLayout();
- actionsPanel.setLayout(gridLayout1);
- gridLayout1.setHgap(0);
- gridLayout1.setRows(3);
- gridLayout1.setVgap(2);
-
+ createFeatures = new JButton();
createFeatures.setEnabled(false);
createFeatures.setFont(VERDANA_12);
- createFeatures.setMargin(new Insets(0, 0, 0, 0));
createFeatures.setText(MessageManager.getString("label.new_feature"));
- createFeatures.addActionListener(new java.awt.event.ActionListener()
+ createFeatures.addActionListener(new ActionListener()
{
@Override
public void actionPerformed(ActionEvent e)
createFeatures_actionPerformed();
}
});
- searchBox.getComponent()
- .setFont(new java.awt.Font("Verdana", Font.PLAIN, 12));
- searchBox.addCaretListener(new CaretListener()
- {
- @Override
- public void caretUpdate(CaretEvent e)
- {
- textfield_caretUpdate();
- }
- });
- searchBox.addKeyListener(new java.awt.event.KeyAdapter()
- {
- @Override
- public void keyPressed(KeyEvent e)
- {
- textfield_keyPressed(e);
- }
- });
-
- caseSensitive.setHorizontalAlignment(SwingConstants.LEFT);
- caseSensitive.setText(MessageManager.getString("label.match_case"));
-
- searchDescription
- .setText(MessageManager.getString("label.include_description"));
-
- actionsPanel.add(findNext, null);
- actionsPanel.add(findAll, null);
- actionsPanel.add(createFeatures, null);
- this.add(jLabelFind, java.awt.BorderLayout.WEST);
- this.add(actionsPanel, java.awt.BorderLayout.EAST);
-
- JPanel jPanel2 = new JPanel();
- jPanel2.setPreferredSize(new Dimension(10, 1));
- JPanel jPanel3 = new JPanel();
- jPanel3.setPreferredSize(new Dimension(10, 1));
- JPanel jPanel4 = new JPanel();
- jPanel4.setLayout(new BorderLayout());
- this.add(jPanel2, java.awt.BorderLayout.SOUTH);
- this.add(jPanel3, java.awt.BorderLayout.NORTH);
- this.add(jPanel4, java.awt.BorderLayout.CENTER);
- jPanel4.add(searchBox.getComponent(), java.awt.BorderLayout.NORTH);
-
- JPanel optionsPanel = new JPanel();
-
- GridLayout optionsGridLayout = new GridLayout();
- optionsGridLayout.setHgap(0);
- optionsGridLayout.setRows(2);
- optionsGridLayout.setVgap(2);
- optionsPanel.setLayout(optionsGridLayout);
- optionsPanel.add(caseSensitive, null);
- optionsPanel.add(searchDescription, null);
-
- jPanel4.add(optionsPanel, java.awt.BorderLayout.WEST);
+ eastPanel.add(findNext);
+ eastPanel.add(findAll);
+ eastPanel.add(createFeatures);
}
protected void textfield_keyPressed(KeyEvent e)
}
}
- /**
- * Returns unique key used for storing Finder cache items in the cache data
- * structure
- *
- * @return
- */
- public String getCacheKey()
- {
- return FINDER_CACHE_KEY;
- }
-
}