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.