Merge lp:~tapaal-contributor/tapaal/game-shortcuts into lp:tapaal
Proposed by
Lena Ernstsen
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 1112 |
Merged at revision: | 1086 |
Proposed branch: | lp:~tapaal-contributor/tapaal/game-shortcuts |
Merge into: | lp:tapaal |
Diff against target: |
284 lines (+95/-19) 5 files modified
src/dk/aau/cs/gui/TabContent.java (+88/-10) src/net/tapaal/swinghelpers/ToggleButtonWithoutText.java (+5/-3) src/pipe/gui/GuiFrame.java (+0/-1) src/pipe/gui/Pipe.java (+1/-1) src/pipe/gui/handler/TransitionHandler.java (+1/-4) |
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/game-shortcuts |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Kenneth Yrke Jørgensen | Approve | ||
Review via email: mp+389584@code.launchpad.net |
Commit message
Added game shortcuts
Description of the change
When a transition is selected it is possible to toggle between a controlled/
The shortcuts are only possible if the lens allows it
If the net is game, then it is possible to draw an uncontrollable transition by pressing L and clicking on the drawing surface
To post a comment you must log in.
Looks good