Changeset 17331 in josm for trunk/src

Timestamp:

2020-11-23T10:59:13+01:00 (3 years ago)

Author:

GerdP

Message:

fix #19825: Advanced preferences table is empty w/o search text on Java 8

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -492 +492 @@
             final String prefKeyLower = prefKey.toLowerCase(Locale.ENGLISH);
             final String prefValueLower = prefValue.toLowerCase(Locale.ENGLISH);
-            final boolean canHas = Pattern.compile("\\s+").splitAsStream(txtFilter.getText())
+            String filter = txtFilter.getText(); // see #19825
+            final boolean canHas = filter.isEmpty() || Pattern.compile("\\s+").splitAsStream(filter)
                     .map(bit -> bit.toLowerCase(Locale.ENGLISH))
                     .anyMatch(bit -> {