Rename and Remove for shared places/transitions are not disable when list is empty
Bug #915296 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen | ||
2.0 |
Won't Fix
|
High
|
Unassigned |
Bug Description
To reproduce
1) add a shard place/component
2) remove the object
You can now press remove and rename. Expected behaviour is they are disabled.
Related branches
lp:~tapaal-developers/tapaal/fix-915296-disableRename
- Jiri Srba: Approve
-
Diff: 46 lines (+22/-0)1 file modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+22/-0)
Changed in tapaal: | |
status: | New → Triaged |
Changed in tapaal: | |
importance: | Undecided → High |
Changed in tapaal: | |
milestone: | none → 2.1 |
Changed in tapaal: | |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Changed in tapaal: | |
importance: | High → Critical |
Changed in tapaal: | |
status: | Triaged → 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.
This seems to be related to this bug:
https:/ /bugs.launchpad .net/tapaal/ +bug/891944