Objects are still selected after undo
Bug #1894108 reported by
Lena Ernstsen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
How to reproduce:
- Create a net with at least two places
- Select a place and delete it
- Select another place and delete it
- Then undo twice
- Both places are then selected
Related branches
lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108
- Kenneth Yrke Jørgensen: Approve
-
Diff: 133 lines (+10/-10)8 files modifiedsrc/pipe/gui/undo/DeleteAnnotationNoteCommand.java (+1/-0)
src/pipe/gui/undo/DeleteArcPathPointEdit.java (+1/-2)
src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java (+1/-1)
src/pipe/gui/undo/DeleteTimedInputArcCommand.java (+1/-2)
src/pipe/gui/undo/DeleteTimedOutputArcCommand.java (+1/-2)
src/pipe/gui/undo/DeleteTimedPlaceCommand.java (+1/-2)
src/pipe/gui/undo/DeleteTimedTransitionCommand.java (+1/-0)
src/pipe/gui/undo/DeleteTransportArcCommand.java (+3/-1)
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
