Fix refreshing map when undo/redo move point
This commit is contained in:
parent
a0d41d945f
commit
66bbd34644
1 changed files with 2 additions and 0 deletions
|
@ -35,10 +35,12 @@ public class MovePointCommand implements Command {
|
||||||
private void replacePointWithOldOne() {
|
private void replacePointWithOldOne() {
|
||||||
measurementLayer.getMeasurementPoints().remove(position);
|
measurementLayer.getMeasurementPoints().remove(position);
|
||||||
measurementLayer.getMeasurementPoints().add(position, oldPoint);
|
measurementLayer.getMeasurementPoints().add(position, oldPoint);
|
||||||
|
measurementLayer.refreshMap();
|
||||||
}
|
}
|
||||||
|
|
||||||
private void replacePointWithNewOne() {
|
private void replacePointWithNewOne() {
|
||||||
measurementLayer.getMeasurementPoints().remove(position);
|
measurementLayer.getMeasurementPoints().remove(position);
|
||||||
measurementLayer.getMeasurementPoints().add(position, newPoint);
|
measurementLayer.getMeasurementPoints().add(position, newPoint);
|
||||||
|
measurementLayer.refreshMap();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue