Added shared places/transitions does not enable buttons
Bug #1940075 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
The buttons for the "shared places and transitions" component are not always enabled when there are shared objects in the list.
How to reproduce:
- Add place
- Double-click on the place to edit it
- Make shared and press "ok"
- Change the net semantics (fx from "untimed" to "timed")
The "remove" and "rename" buttons are not enabled, so it is not possible to do these actions to the newly added shared place.
Related branches
lp:~tapaal-contributor/tapaal/shared-component-buttons-1940075
- Jiri Srba: Approve
-
Diff: 26 lines (+7/-2)1 file modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+7/-2)
Changed in tapaal: | |
assignee: | nobody → Lena Said (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.