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());
/*
ignoreHidden.setText(MessageManager.getString("label.ignore_hidden"));
ignoreHidden.setToolTipText(
MessageManager.getString("label.ignore_hidden_tooltip"));
-
+
centrePanel.add(caseSensitive);
centrePanel.add(searchDescription);
centrePanel.add(ignoreHidden);