Changeset 16601 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

Timestamp:

2020-06-11T14:19:10+02:00 (4 years ago)

Author:

simon04

Message:

Add TableHelper.setSelectedIndices

File:

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

trunk/src/org/openstreetmap/josm/gui/preferences/SourceEditor.java

@@ -745 +745 @@
             }
             fireTableDataChanged();
-            selectionModel.setValueIsAdjusting(true);
-            selectionModel.clearSelection();
-            for (ExtendedSourceEntry info: sources) {
-                int pos = data.indexOf(info);
-                if (pos >= 0) {
-                    selectionModel.addSelectionInterval(pos, pos);
-                }
-            }
-            selectionModel.setValueIsAdjusting(false);
+            TableHelper.setSelectedIndices(selectionModel, sources.stream().mapToInt(data::indexOf));
         }