TAPAAL

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

Created by Lena Ernstsen and last modified
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 Ernstsen

Added undo to the toggle

1111. By Lena Ernstsen

guiModelManager handles the toggle functionality

1110. By Lena Ernstsen

Moved the transition toggle shortcuts to be a guiAction

1109. By Lena Ernstsen

Added annotation to toolbar

1108. By Lena Ernstsen

Merge with trunk

1107. By Lena Ernstsen

Can only toggle if lens allows it

1106. By Lena Ernstsen

Changed shortcut for drawing uncontrollable transitions

1105. By Lena Ernstsen

moved the keyListener

1104. By Lena Ernstsen

Merged with timed-untimed-gui

1103. By Lena Ernstsen

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.