Impossible to delete a place
Bug #1826206 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Unassigned |
Bug Description
Make new net, draw two place and start drawing an arc from the first place.
Then press ctrl-Z to go step backward, only one place is left. If you select
this place, it is impossible to erase it now.
Related branches
lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206
- Jiri Srba: Approve
-
Diff: 11 lines (+1/-0)1 file modifiedsrc/pipe/gui/undo/UndoManager.java (+1/-0)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.