Changeset 16601 in josm for trunk/src/org/openstreetmap/josm/gui/util/TableHelper.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/util/TableHelper.java (modified) (2 diffs)

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

@@ -3 +3 @@
 
 import java.awt.Component;
+import java.util.stream.IntStream;
 
 import javax.swing.JTable;
@@ -147 +148 @@
         return rv;
     }
+
+    /**
+     * Selects the given indices in the selection model
+     * @param selectionModel list selection model.
+     * @param indices the indices to select
+     * @see ListSelectionModel#addSelectionInterval(int, int)
+     * @since 16601
+     */
+    public static void setSelectedIndices(ListSelectionModel selectionModel, IntStream indices) {
+        selectionModel.setValueIsAdjusting(true);
+        selectionModel.clearSelection();
+        indices.filter(i -> i >= 0).forEach(i -> selectionModel.addSelectionInterval(i, i));
+        selectionModel.setValueIsAdjusting(false);
+    }
 }