Changeset 16438 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/MultiSplitLayout.java

Timestamp:

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

Author:

simon04

Message:

see #19251 - Java 8: use Stream

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/MultiSplitLayout.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/widgets/MultiSplitLayout.java

@@ -777 +777 @@
         } else if (root instanceof Split) {
             Split split = (Split) root;
-            for (Node child : split.getChildren()) {
-                if (child.getBounds().contains(x, y))
-                    return dividerAt(child, x, y);
-            }
+            return split.getChildren().stream()
+                    .filter(child -> child.getBounds().contains(x, y))
+                    .map(child -> dividerAt(child, x, y))
+                    .findFirst().orElse(null);
         }
         return null;