Ticket #3061: add-search-to-plugin-preferences-3.patch

src/org/openstreetmap/josm/plugins/PluginSelection.java

@@ -30 +30 @@
 import javax.swing.JEditorPane;
 import javax.swing.JOptionPane;
 import javax.swing.JPanel;
+import javax.swing.JTextField;
 import javax.swing.UIManager;
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
@@ -45 +46 @@
     private Map<String, PluginInformation> availablePlugins;
     private Map<String, PluginInformation> localPlugins;
 
+    private JTextField txtFilter = null;
+
+    /* Get a copy of PluginPreference's txtField so we can use it for searching */
+    public void passTxtFilter(JTextField filter) {
+        txtFilter = filter;
+    }
+
     public void updateDescription(JPanel pluginPanel) {
         int count = PluginDownloader.downloadDescription();
         if (count > 0) {
@@ -212 +220 @@
                 localversion = " (" + localversion + ")";
             }
 
+            /* If this plugin doesn't match our search parameters we don't want to display it */
+            if (txtFilter.getText() != null) {
+                boolean matches = filterNameAndDescription(txtFilter.getText(),plugin.name,
+                                                           plugin.getLinkDescription(),
+                                                           remoteversion, localversion);
+                if (!matches) {
+                    /* This is not the plugin you're looking for */
+                    continue;
+                }
+            }
+
             final JCheckBox pluginCheck = new JCheckBox(
                     tr("{0}: Version {1}{2}", plugin.name, remoteversion, localversion),
                     pluginMap.get(plugin.name));
@@ -254 +273 @@
         pluginPanel.updateUI();
     }
 
+    private static boolean filterNameAndDescription(String filter, final String name, final String description,
+                                                    final String remoteversion, final String localversion) {
+        final String input[] = filter.split("\\s+");
+        /* We're doing case-insensitive matching */
+        final String name_lc = name.toLowerCase();
+        final String description_lc = description.toLowerCase();
+        final String remoteversion_lc = remoteversion.toLowerCase();
+        final String localversion_lc = localversion.toLowerCase();
+
+        boolean canHas = true;
+
+        /* Make 'foo bar' search for 'bar' or 'foo' in both name and description */
+        for (String bit : input) {
+            final String lc_bit = bit.toLowerCase();
+            if (!name_lc.contains(lc_bit) &&
+                !description_lc.contains(lc_bit) &&
+                !remoteversion_lc.contains(lc_bit) && 
+                !localversion_lc.contains(lc_bit)) {
+                canHas = false;
+            }
+        }
+
+        return canHas;
+    }
+
     private void loadPlugins() {
         availablePlugins = new TreeMap<String, PluginInformation>(new Comparator<String>(){
             public int compare(String o1, String o2) {

src/org/openstreetmap/josm/gui/preferences/PluginPreference.java

@@ -16 +16 @@
 import javax.swing.JButton;
 import javax.swing.JLabel;
 import javax.swing.JList;
+import javax.swing.JTextField;
 import javax.swing.JOptionPane;
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
 import javax.swing.Scrollable;
+import javax.swing.event.DocumentEvent;
+import javax.swing.event.DocumentListener;
 
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.plugins.PluginDownloader;
@@ -39 +42 @@
     private PreferenceDialog gui;
     private JScrollPane pluginPane;
     private PluginSelection selection = new PluginSelection();
+    private JTextField txtFilter;
 
     public void addGui(final PreferenceDialog gui) {
         this.gui = gui;
         plugin = gui.createPreferenceTab("plugin", tr("Plugins"), tr("Configure available plugins."), false);
+
+        txtFilter = new JTextField();
+        JLabel lbFilter = new JLabel(tr("Search: "));
+        lbFilter.setLabelFor(txtFilter);
+        plugin.add(lbFilter);
+        plugin.add(txtFilter, GBC.eol().fill(GBC.HORIZONTAL));
+        txtFilter.getDocument().addDocumentListener(new DocumentListener(){
+            public void changedUpdate(DocumentEvent e) {
+                action();
+            }
+
+            public void insertUpdate(DocumentEvent e) {
+                action();
+            }
+
+            public void removeUpdate(DocumentEvent e) {
+                action();
+            }
+
+            private void action() {
+                selection.drawPanel(pluginPanel);
+            }
+        });
+        plugin.add(GBC.glue(0,10), GBC.eol());
+
+        /* main plugin area */
         pluginPane = new JScrollPane(pluginPanel, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
         pluginPane.setBorder(null);
         plugin.add(pluginPane, GBC.eol().fill(GBC.BOTH));
         plugin.add(GBC.glue(0,10), GBC.eol());
+
+        /* buttons at the bottom */
         JButton morePlugins = new JButton(tr("Download List"));
         morePlugins.addActionListener(new ActionListener(){
             public void actionPerformed(ActionEvent e) {
@@ -71 +103 @@
         });
         plugin.add(configureSites, GBC.std());
 
+        selection.passTxtFilter(txtFilter);
         selection.drawPanel(pluginPanel);
     }