In timed lens there should be possible to draw urgent tranistion
Bug #1951026 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Kristian Morsing Pedersen | ||
Bug Description
If timed net is chosen, the icons allow to draw only non-urgent transition and then change it to urgent one. It would be nice if there was also an icon with urgent transition to choose in this case (only if the lens is set to timed net).
Related branches
lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026
- Jiri Srba: Approve
-
Diff: 189 lines (+68/-10)2 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+67/-9)
src/pipe/gui/Pipe.java (+1/-1)
| Changed in tapaal: | |
| assignee: | nobody → Kristian Morsing Pedersen (krismp99) |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
