Merge lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 into lp:tapaal
Proposed by
Kristian Morsing Pedersen
Status: | Superseded | ||||
---|---|---|---|---|---|
Proposed branch: | lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 | ||||
Merge into: | lp:tapaal | ||||
Diff against target: |
186 lines (+65/-10) 2 files modified
src/dk/aau/cs/gui/TabContent.java (+64/-9) src/pipe/gui/Pipe.java (+1/-1) |
||||
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Needs Fixing | ||
Review via email: mp+411954@code.launchpad.net |
This proposal supersedes a proposal from 2021-11-16.
This proposal has been superseded by a proposal from 2021-11-20.
Commit message
Added support, and icon, for drawing urgent transitions
Description of the change
In the menu, when the lens is set to a timed net, a new icon with an urgent transition will appear in the menu beside the transition icon. Clicking this will allow to directly draw urgent transitions.
This option has also been added to the "Draw menu"
To post a comment you must log in.
Looks good but for timed and game, there has to be also added uncontrollable urgent transition icon (empty rectangle with black dot) and option in the draw menu.