Searched refs:jtxtFilter (Results 1 – 1 of 1) sorted by relevance
59 private JTextField jtxtFilter = new JTextField(); field in SwingTreeControlProvider117 jtxtFilter.setHorizontalAlignment(javax.swing.JTextField.LEFT); in insertTopPanel()118 jtxtFilter.setPreferredSize(new java.awt.Dimension(200, 10)); in insertTopPanel()119 jtxtFilter.addKeyListener(new InspectorKeyFilterAdapter()); in insertTopPanel()120 jPnlTop.add(jtxtFilter, java.awt.BorderLayout.CENTER); in insertTopPanel()152 this.jtxtFilter.setEnabled(bIsFacetteNode); in enableFilterElements()155 jtxtFilter.setText(sFilter); in enableFilterElements()162 String sFilter = jtxtFilter.getText(); in keyReleased()
Completed in 17 milliseconds