public void undo() { annotation.setdxdy(beforeDx, beforeDy); }
public void redo() { annotation.setdxdy(afterDx, afterDy); }