コード例 #1
0
    private void updateSelection(Object element) {
      if (element != null) {
        selectElement(element, mySearchField.getText());
        mySearchField.setForeground(Color.black);
      } else {
        mySearchField.setForeground(Color.red);
      }
      if (mySearchPopup != null) {
        mySearchPopup.setSize(mySearchPopup.getPreferredSize());
        mySearchPopup.validate();
      }

      fireStateChanged();
    }
コード例 #2
0
 public void processKeyEvent(KeyEvent e) {
   mySearchField.processKeyEvent(e);
   if (e.isConsumed()) {
     int keyCode = e.getKeyCode();
     String s = mySearchField.getText();
     Object element;
     if (isUpDownHomeEnd(keyCode)) {
       element = findTargetElement(keyCode, s);
       if (myClearSearchOnNavigateNoMatch && element == null) {
         manageSearchPopup(null);
         element = findTargetElement(keyCode, "");
       }
     } else {
       element = findElement(s);
     }
     updateSelection(element);
   }
 }
コード例 #3
0
    public SearchPopup(String initialString) {
      final Color foregroundColor = UIUtil.getToolTipForeground();
      Color color1 = UIUtil.getToolTipBackground();
      mySearchField = new SearchField();
      final JLabel searchLabel =
          new JLabel(" " + UIBundle.message("search.popup.search.for.label") + " ");
      searchLabel.setFont(searchLabel.getFont().deriveFont(Font.BOLD));
      searchLabel.setForeground(foregroundColor);
      mySearchField.setBorder(null);
      mySearchField.setBackground(color1.brighter());
      mySearchField.setForeground(foregroundColor);

      mySearchField.setDocument(
          new PlainDocument() {
            public void insertString(int offs, String str, AttributeSet a)
                throws BadLocationException {
              String oldText;
              try {
                oldText = getText(0, getLength());
              } catch (BadLocationException e1) {
                oldText = "";
              }

              String newText = oldText.substring(0, offs) + str + oldText.substring(offs);
              super.insertString(offs, str, a);
              if (findElement(newText) == null) {
                mySearchField.setForeground(Color.RED);
              } else {
                mySearchField.setForeground(foregroundColor);
              }
            }
          });
      mySearchField.setText(initialString);

      setBorder(BorderFactory.createLineBorder(Color.gray, 1));
      setBackground(color1.brighter());
      setLayout(new BorderLayout());
      add(searchLabel, BorderLayout.WEST);
      add(mySearchField, BorderLayout.EAST);
      Object element = findElement(mySearchField.getText());
      updateSelection(element);
    }
コード例 #4
0
 public void refreshSelection() {
   updateSelection(findElement(mySearchField.getText()));
 }