Merge lp:~yrke/tapaal/tapaal-fixes1821163 into lp:tapaal

Proposed by Kenneth Yrke Jørgensen
Status: Merged
Merged at revision: 1002
Proposed branch: lp:~yrke/tapaal/tapaal-fixes1821163
Merge into: lp:tapaal
Diff against target: 17 lines (+4/-2)
1 file modified
src/pipe/gui/undo/UndoManager.java (+4/-2)
To merge this branch: bzr merge lp:~yrke/tapaal/tapaal-fixes1821163
Reviewer Review Type Date Requested Status
TAPAAL Reviewers Pending
Review via email: mp+364940@code.launchpad.net

Commit message

Fixes lp:1821163 - Cant delete arcpathpoint

To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/undo/UndoManager.java'
2--- src/pipe/gui/undo/UndoManager.java 2019-02-03 11:41:57 +0000
3+++ src/pipe/gui/undo/UndoManager.java 2019-03-22 08:15:22 +0000
4@@ -223,9 +223,11 @@
5 private void deleteObject(PetriNetObject pnObject) {
6 if (pnObject instanceof ArcPathPoint) {
7 if (!((ArcPathPoint) pnObject).getArcPath().getArc().isSelected()) {
8- addEdit(new DeleteArcPathPointEdit(((ArcPathPoint) pnObject)
9+ Command cmd = new DeleteArcPathPointEdit(((ArcPathPoint) pnObject)
10 .getArcPath().getArc(), (ArcPathPoint) pnObject,
11- ((ArcPathPoint) pnObject).getIndex()));
12+ ((ArcPathPoint) pnObject).getIndex());
13+ cmd.redo();
14+ addEdit(cmd);
15 }
16 }else{
17 // } else if (pnObject instanceof PlaceTransitionObject) {

Subscribers

People subscribed via source and target branches