Fix exception for search flags (#8237)

* Fix exception for search flags Fixes #8230 Fixes #8234 * checkstyle
JabRef · Nov 12, 2021 · 079a2d2 · 079a2d2
1 parent 80ab4ca
commit 079a2d2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/java/org/jabref/preferences/SearchPreferences.java b/src/main/java/org/jabref/preferences/SearchPreferences.java
@@ -45,6 +45,10 @@ public SearchPreferences(SearchDisplayMode searchDisplayMode, EnumSet<SearchFlag
     }
 
     public EnumSet<SearchFlags> getSearchFlags() {
+        // copy of returns an exception when the EnumSet is empty
+        if (searchFlags.isEmpty()) {
+            return EnumSet.noneOf(SearchFlags.class);
+        }
         return EnumSet.copyOf(searchFlags);
     }