← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java
1
1
package dk.aau.cs.gui.undo;
2
2
 
3
 
import pipe.gui.graphicElements.PetriNetObject;
4
3
import pipe.gui.graphicElements.PetriNetObjectWithLabel;
5
4
 
6
5
public class UpdateNameLabelOffsetCommand extends Command {
17
16
 
18
17
        @Override
19
18
        public void undo() {
20
 
                obj.setNameOffsetX(oldXOffset);;
21
 
                obj.setNameOffsetY(oldYOffset);
 
19
                obj.setNameOffsetX(oldXOffset);
 
20
        obj.setNameOffsetY(oldYOffset);
22
21
                obj.updateOnMoveOrZoom();               
23
22
        }
24
23