Changeset 14756 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2019-01-31T17:00:54+01:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/history/HistoryLoadTask.java
r14273 r14756 165 165 loadedData = new HistoryDataSet(); 166 166 try { 167 progressMonitor.setTicksCount( toLoad.size());167 progressMonitor.setTicksCount(2 * toLoad.size()); 168 168 for (PrimitiveId pid: toLoad) { 169 169 if (canceled) {
Note:
See TracChangeset
for help on using the changeset viewer.