[Lib Manager] Avoid updating the UI at every keystroke

Fixes #8282

Author: facchinm

app/src/cc/arduino/contributions/ui/FilterJTextField.java

@@ -33,6 +33,8 @@
 import javax.swing.event.DocumentEvent;
 import javax.swing.event.DocumentListener;
 import java.awt.*;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
 import java.awt.event.FocusEvent;
 import java.awt.event.FocusListener;
 
@@ -66,35 +68,21 @@ public void focusGained(FocusEvent focusEvent) {
       }
     });
 
-    getDocument().addDocumentListener(new DocumentListener() {
-      public void removeUpdate(DocumentEvent e) {
-        applyFilter();
-      }
-
-      public void insertUpdate(DocumentEvent e) {
-        applyFilter();
-      }
-
-      public void changedUpdate(DocumentEvent e) {
+    addActionListener(new ActionListener() {
+      @Override
+      public void actionPerformed(ActionEvent e) {
         applyFilter();
       }
     });
   }
 
-  private String lastFilter = "";
-
-  private void applyFilter() {
+  public void applyFilter() {
     String filter = showingHint ? "" : getText();
     filter = filter.toLowerCase();
 
     // Replace anything but 0-9, a-z, or : with a space
     filter = filter.replaceAll("[^\\x30-\\x39^\\x61-\\x7a^\\x3a]", " ");
 
-    // Fire event only if the filter is changed
-    if (filter.equals(lastFilter))
-      return;
-
-    lastFilter = filter;
     onFilter(filter.split(" "));
   }
 

app/src/cc/arduino/contributions/ui/InstallerJDialog.java

@@ -320,6 +320,7 @@ public void setFilterText(String filterText) {
       listener.focusGained(new FocusEvent(filterField, FocusEvent.FOCUS_GAINED));
     }
     filterField.setText(filterText);
+    filterField.applyFilter();
   }
 
   public void selectDropdownItemByClassName(String dropdownItem) {