Ticket #13250: member_sort_performance.patch

core/src/org/openstreetmap/josm/gui/dialogs/relation/MemberTable.java

@@ -6 +6 @@
 import java.awt.Dimension;
 import java.awt.GraphicsEnvironment;
 import java.awt.event.ActionEvent;
-import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Collection;
-import java.util.List;
+import java.util.HashSet;
 
 import javax.swing.AbstractAction;
 import javax.swing.DropMode;
@@ -109 +108 @@
     private transient ListSelectionListener highlighterListener = lse -> {
         if (Main.isDisplayingMapView()) {
             Collection<RelationMember> sel = getMemberTableModel().getSelectedMembers();
-            final List<OsmPrimitive> toHighlight = new ArrayList<>();
+            final HashSet<OsmPrimitive> toHighlight = new HashSet<>();
             for (RelationMember r: sel) {
                 if (r.getMember().isUsable()) {
                     toHighlight.add(r.getMember());