TAPAAL

Merge lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206 into lp:tapaal

  1. ImpossibleToDeletePlace-1826206
  2. Merge into trunk
Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 1009
Merged at revision: 1009
Proposed branch: lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206
Merge into: lp:tapaal
Diff against target: 11 lines (+1/-0)
1 file modified
src/pipe/gui/undo/UndoManager.java (+1/-0)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+366615@code.launchpad.net

Commit message

When pressing ctrl+z while drawing an arc now correctly removes the arc both from the drawingsurface and the source of the arc

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

Fixes the problem nicely.

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/undo/UndoManager.java'
2--- src/pipe/gui/undo/UndoManager.java 2019-03-22 08:12:32 +0000
3+++ src/pipe/gui/undo/UndoManager.java 2019-04-28 10:18:17 +0000
4@@ -208,6 +208,7 @@
5 if (arcBeingDrawn != null) {
6 if (arcBeingDrawn.getParent() != null) {
7 arcBeingDrawn.getParent().remove(arcBeingDrawn);
8+ arcBeingDrawn.getSource().removeFromArc(arcBeingDrawn);
9 }
10 view.createArc = null;
11 }

Subscribers

People subscribed via source and target branches