protected JCheckBox searchDescription;
+ protected JCheckBox searchFeatures;
+
protected JCheckBox ignoreHidden;
public GFinder()
searchBox = new JvCacheableInputBox<>(FINDER_CACHE_KEY, 25);
searchBox.getComponent().setFont(VERDANA_12);
searchBox.addCaretListener(new CaretListener()
- {
- @Override
- public void caretUpdate(CaretEvent e)
- {
- textfield_caretUpdate();
- }
- });
+ {
+ @Override
+ public void caretUpdate(CaretEvent e)
+ {
+ textfield_caretUpdate();
+ }
+ });
searchBox.addKeyListener(new KeyAdapter()
- {
- @Override
- public void keyPressed(KeyEvent e)
- {
- textfield_keyPressed(e);
- }
- });
+ {
+ @Override
+ public void keyPressed(KeyEvent e)
+ {
+ textfield_keyPressed(e);
+ }
+ });
centrePanel.add(searchBox.getComponent());
/*
searchDescription
.setText(MessageManager.getString("label.include_description"));
+ searchFeatures = new JCheckBox();
+ searchFeatures
+ .setText(MessageManager.getString("label.include_features"));
+
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(searchFeatures);
centrePanel.add(ignoreHidden);
/*