Changeset 16591 in josm for trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowser.java

Timestamp:

2020-06-10T22:37:20+02:00 (4 years ago)

Author:

simon04

Message:

fix #19367 - History browser: do not reset UI after (re)loading of history

File:

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

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

@@ -7 +7 @@
 import java.awt.Dimension;
 import java.util.Arrays;
+import java.util.Objects;
 
 import javax.swing.JPanel;
@@ -114 +115 @@
      */
     public void populate(History history) {
+        boolean samePrimitive = model.getHistory() != null && Objects.equals(model.getHistory().getPrimitiveId(), history.getPrimitiveId());
         model.setHistory(history);
+        if (samePrimitive) {
+            // no need to rebuild the UI
+            return;
+        }
 
         tpViewers.removeAll();