Changeset 33572 in osm for applications/editors/josm/plugins/reverter/src/reverter/ChangesetReverter.java
- Timestamp:
- 2017-08-27T20:56:40+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/reverter/src/reverter/ChangesetReverter.java
r32905 r33572 12 12 import java.util.List; 13 13 14 import org.openstreetmap.josm.Main;15 14 import org.openstreetmap.josm.command.Command; 16 15 import org.openstreetmap.josm.command.DeleteCommand; … … 32 31 import org.openstreetmap.josm.data.osm.history.HistoryRelation; 33 32 import org.openstreetmap.josm.data.osm.history.HistoryWay; 33 import org.openstreetmap.josm.gui.MainApplication; 34 34 import org.openstreetmap.josm.gui.layer.OsmDataLayer; 35 35 import org.openstreetmap.josm.gui.progress.ProgressMonitor; … … 38 38 import org.openstreetmap.josm.io.OsmApiException; 39 39 import org.openstreetmap.josm.io.OsmTransferException; 40 import org.openstreetmap.josm.tools.Logging; 40 41 41 42 import reverter.corehacks.ChangesetDataSet; … … 138 139 this.layer = new OsmDataLayer(this.ds, tr("Reverted changeset") + tr(" [id: {0}]", String.valueOf(changesetId)), null); 139 140 } else { 140 this.layer = Main.getLayerManager().getEditLayer(); 141 this.layer = MainApplication.getLayerManager().getEditLayer(); 141 142 this.ds = layer.data; 142 143 } … … 154 155 monitor.finishTask(); 155 156 if (newLayer) { 156 GuiHelper.runInEDT(new Runnable() { 157 @Override 158 public void run() { 159 Main.getLayerManager().addLayer(layer); 160 } 161 }); 157 GuiHelper.runInEDT(() -> MainApplication.getLayerManager().addLayer(layer)); 162 158 } 163 159 } … … 204 200 message += ", requesting previous one"; 205 201 } 206 Main.info(message);202 Logging.info(message); 207 203 version--; 208 204 } 209 205 } 210 206 if (!readOK) { 211 Main.warn("Cannot retrieve any previous version of "+id);207 Logging.warn("Cannot retrieve any previous version of "+id); 212 208 } 213 209 }
Note:
See TracChangeset
for help on using the changeset viewer.