Changeset 5171 in josm for trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialog.java
- Timestamp:
- 2012-04-06T15:56:23+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/HistoryBrowserDialog.java
r4297 r5171 123 123 /* ---------------------------------------------------------------------------------- */ 124 124 public void historyUpdated(HistoryDataSet source, PrimitiveId primitiveId) { 125 if (primitiveId == null || primitiveId.equals(browser.getHistory().getPrimit miveId())) {126 browser.populate(source.getHistory(browser.getHistory().getPrimit miveId()));125 if (primitiveId == null || primitiveId.equals(browser.getHistory().getPrimitiveId())) { 126 browser.populate(source.getHistory(browser.getHistory().getPrimitiveId())); 127 127 } 128 128 }
Note:
See TracChangeset
for help on using the changeset viewer.