1
package dk.aau.cs.gui.undo;
4
import pipe.gui.graphicElements.PetriNetObject;
6
public class SetNameLabelPositionCommand extends Command {
13
public SetNameLabelPositionCommand(PetriNetObject object, double xOffset, double yOffset) {
21
object.getNameLabel().setPosition(object.getX() + Grid.getModifiedX(oldX), object.getY() + Grid.getModifiedX(oldY));
22
object.updateOnMoveOrZoom();
27
oldY = object.getNameOffsetXObject();
28
oldX = object.getNameOffsetYObject();
30
object.getNameLabel().setPosition(object.getX() + Grid.getModifiedX(newX), object.getY() + Grid.getModifiedX(newY));
31
object.updateOnMoveOrZoom();