Impossible to remove anchor point
Bug #1821163 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen | ||
3.5 |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
This bug was introduced by refactoring the GUI for 3.5.0 release. To reproduce, draw a place,
transition and connect them by an arc with anchor point in the middle. Then try
to select the anchor point and try to delete it - it is impossible.
Related branches
lp:~yrke/tapaal/tapaal-fixes1821163
- Jiri Srba: Approve
-
Diff: 17 lines (+4/-2)1 file modifiedsrc/pipe/gui/undo/UndoManager.java (+4/-2)
- TAPAAL Reviewers: Pending requested
-
Diff: 17 lines (+4/-2)1 file modifiedsrc/pipe/gui/undo/UndoManager.java (+4/-2)
Changed in tapaal: | |
status: | New → Confirmed |
status: | Confirmed → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.