}
public void undo() {
final MapModel map = Controller.getCurrentController().getMap();
final IUndoHandler undoHandler = (IUndoHandler) map.getExtension(IUndoHandler.class);
undoHandler.undo();
}
public void redo() {
final MapModel map = Controller.getCurrentController().getMap();
final IUndoHandler undoHandler = (IUndoHandler) map.getExtension(IUndoHandler.class);