Adds a validator to the search field

JabRef · Oct 15, 2019 · 5d89eb6 · 5d89eb6
1 parent 8c8adf0
commit 5d89eb6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/jabref/gui/search/GlobalSearchBar.java b/src/main/java/org/jabref/gui/search/GlobalSearchBar.java
@@ -4,6 +4,7 @@
 import java.util.List;
 import java.util.Objects;
 import java.util.Optional;
+import java.util.function.Function;
 import java.util.regex.Pattern;
 import java.util.regex.PatternSyntaxException;