/** * Adds the search field to the tree. */ private void displaySearchField() { if (getModel().getSize() > 0 && !searchTextField.isDisplayable()) { JViewport viewport = ListView.this.getViewport(); originalScrollMode = viewport.getScrollMode(); viewport.setScrollMode(JViewport.SIMPLE_SCROLL_MODE); //Rectangle visibleTreeRect = getVisibleRect(); prepareSearchPanel(); add(searchpanel); revalidate(); repaint(); System.err.println("Displayed search field"); // bugfix #28501, avoid the chars duplicated on jdk1.3 SwingUtilities.invokeLater(new Runnable() { public void run() { searchTextField.requestFocus(); } }); } else { System.err.println("Not setting up search: " + searchTextField.isDisplayable()); } }
/** * Adds the search field to the tree. */ private void displaySearchField() { if (getModel().getSize() > 0 && !searchTextField.isDisplayable()) { JViewport viewport = ListView.this.getViewport(); originalScrollMode = viewport.getScrollMode(); viewport.setScrollMode(JViewport.SIMPLE_SCROLL_MODE); //Rectangle visibleTreeRect = getVisibleRect(); prepareSearchPanel(); add(searchpanel); revalidate(); repaint(); System.err.println("Displayed search field"); // bugfix #28501, avoid the chars duplicated on jdk1.3 SwingUtilities.invokeLater(new Runnable() { public void run() { searchTextField.requestFocus(); } }); } else { System.err.println("Not setting up search: " + searchTextField.isDisplayable()); } }
/** * Adds the search field to the tree. */ private void displaySearchField() { if ((getModel().getSize() > 0) && !searchTextField.isDisplayable()) { JViewport viewport = ListView.this.getViewport(); originalScrollMode = viewport.getScrollMode(); viewport.setScrollMode(JViewport.SIMPLE_SCROLL_MODE); //Rectangle visibleTreeRect = getVisibleRect(); prepareSearchPanel(); add(searchpanel); revalidate(); repaint(); // bugfix #28501, avoid the chars duplicated on jdk1.3 SwingUtilities.invokeLater( new Runnable() { public void run() { searchTextField.requestFocus(); } } ); } }