Changeset 11340 in josm

Timestamp:

2016-11-28T21:19:00+01:00 (7 years ago)

Author:

simon04

Message:

fix #13950 see #12030 - Custom interchanged shortcuts are broken

File:

• trunk/src/org/openstreetmap/josm/tools/Shortcut.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/Shortcut.java

@@ -314 +314 @@
         return shortcuts.stream()
                 .filter(sameKey.or(sameShortText))
+                .sorted(Comparator.comparingInt(sc -> sameShortText.test(sc) ? 0 : 1))
                 .findAny();
     }