Changeset 16438 in josm for trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java

Timestamp:

2020-05-17T14:18:22+02:00 (5 years ago)

Author:

simon04

Message:

see #19251 - Java 8: use Stream

File:

• trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java

@@ -33 +33 @@
 import java.util.concurrent.ExecutionException;
 import java.util.concurrent.FutureTask;
+import java.util.stream.Stream;
 
 import javax.swing.GrayFilter;
@@ -640 +641 @@
             Collection<String> fonts = Arrays.asList(
                     GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames());
-            for (String f : new String[]{"Khmer UI", "DaunPenh", "MoolBoran"}) {
-                if (fonts.contains(f)) {
-                    setUIFont(f);
-                    break;
-                }
-            }
+            Stream.of("Khmer UI", "DaunPenh", "MoolBoran")
+                    .filter(fonts::contains)
+                    .findFirst()
+                    .ifPresent(GuiHelper::setUIFont);
         }
     }