lp:~tapaal-contributor/tapaal/game-shortcuts

Created by Lena Said on 2020-08-14 and last modified on 2020-08-21
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/game-shortcuts
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1112. By Lena Said on 2020-08-21

Added undo to the toggle

1111. By Lena Said on 2020-08-21

guiModelManager handles the toggle functionality

1110. By Lena Said on 2020-08-20

Moved the transition toggle shortcuts to be a guiAction

1109. By Lena Said on 2020-08-20

Added annotation to toolbar

1108. By Lena Said on 2020-08-19

Merge with trunk

1107. By Lena Said on 2020-08-18

Can only toggle if lens allows it

1106. By Lena Said on 2020-08-18

Changed shortcut for drawing uncontrollable transitions

1105. By Lena Said on 2020-08-18

moved the keyListener

1104. By Lena Said on 2020-08-18

Merged with timed-untimed-gui

1103. By Lena Said on 2020-08-18

Added shortcuts to toggle uncontrollable and urgent transitions

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.