Disappearing tokens
Bug #1940098 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
In the CPN branch, open the attached net, select the comp2 component and in the share places panel rename the shared place and press ok. Then the two tokens from the shared palace disappear (but the description is still there) but if I open the place dialog and say ok, the two tokens appear again.
Related branches
lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098
- Jiri Srba: Approve
-
Diff: 41 lines (+16/-4)2 files modifiedsrc/dk/aau/cs/gui/SharedPlaceNamePanel.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedPlace.java (+15/-3)
Changed in tapaal: | |
assignee: | nobody → Lena Said (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
Well, this is actually a problem already in 3.8 release - open the attached net in trunk (non-colored net) and rename the share place in comp2 - the two tokens disappear but reappear after the place dialog is open and closed.