Searched refs:filterText (Results 1 – 1 of 1) sorted by relevance
181 private JTextField filterText; field in Workspace368 filterText = new JTextField(20); in buildStatusPanel()369 filterText.putClientProperty("JComponent.sizeVariant", "small"); in buildStatusPanel()370 filterText.getDocument().addDocumentListener(new DocumentListener() { in buildStatusPanel()389 leftSide.add(filterText); in buildStatusPanel()446 filterText.setVisible(false); in hideStatusBarComponents()635 filterText.setVisible(true); in showStatusBarComponents()1002 private void updateFilteredNodes(String filterText) { in updateFilteredNodes() argument1005 final Pattern pattern = Pattern.compile(filterText, Pattern.CASE_INSENSITIVE); in updateFilteredNodes()