Changeset 16457 in josm

Timestamp:

2020-05-17T22:19:49+02:00 (5 years ago)

Author:

simon04

Message:

History/VersionTable: scroll active versions into view

Before, the table was showing the first versions. For objects with many versions, one had to scroll down to find the diffed versions (active radio buttons).

File:

• trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/history/VersionTable.java

@@ -15 +15 @@
 import java.awt.event.MouseEvent;
 import java.util.Objects;
+import java.util.stream.IntStream;
 
 import javax.swing.DefaultCellEditor;
@@ -96 +97 @@
             }
         });
+        getModel().addTableModelListener(e ->
+                IntStream.range(0, model.getHistory().getNumVersions()).filter(model::isCurrentPointInTime).findFirst().ifPresent(row ->
+                        scrollRectToVisible(getCellRect(row, 0, true))));
         getModel().addTableModelListener(e -> {
             adjustColumnWidth(this, 0, 0);