Toggle urgent transition
Bug #1950689 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Kristian Morsing Pedersen |
Bug Description
In the menu, Draw, the action toggle urgent transition is enabled even if we are in the simualation mode. Open e.g. the intro example, enter simulation mode (press M) and see that in Draw the "toggle urgent transition" which should be grayed out (but it is not).
Related branches
lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689
- Jiri Srba: Approve
-
Diff: 27 lines (+3/-0)1 file modifiedsrc/dk/aau/cs/gui/TabContent.java (+3/-0)
Changed in tapaal: | |
assignee: | nobody → Kristian Morsing Pedersen (krismp99) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.