TAPAAL

Merge lp:~tapaal-contributor/tapaal/fix-double-undo into lp:tapaal

  1. fix-double-undo
  2. Merge into trunk
Proposed by Lena Ernstsen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1129
Merged at revision: 1129
Proposed branch: lp:~tapaal-contributor/tapaal/fix-double-undo
Merge into: lp:tapaal
Diff against target: 19 lines (+6/-4)
1 file modified
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+6/-4)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/fix-double-undo
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+406576@code.launchpad.net

Commit message

Fixed needing to undo twice for certain actions

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/canvas/DrawingSurfaceImpl.java'
2--- src/pipe/gui/canvas/DrawingSurfaceImpl.java 2020-08-11 06:00:12 +0000
3+++ src/pipe/gui/canvas/DrawingSurfaceImpl.java 2021-08-03 08:45:07 +0000
4@@ -495,9 +495,11 @@
5
6
7 public void translateSelection(ArrayList<PetriNetObject> objects, int transX, int transY) {
8- tabContent.getUndoManager().newEdit(); // new "transaction""
9- for (PetriNetObject pnobject : objects) {
10- tabContent.getUndoManager().addEdit(new TranslatePetriNetObjectEdit(pnobject, transX, transY, this));
11- }
12+ if (transX != 0 || transY != 0) {
13+ tabContent.getUndoManager().newEdit(); // new "transaction""
14+ for (PetriNetObject pnobject : objects) {
15+ tabContent.getUndoManager().addEdit(new TranslatePetriNetObjectEdit(pnobject, transX, transY, this));
16+ }
17+ }
18 }
19 }

Subscribers

People subscribed via source and target branches