Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/hide-show-names-1921393
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1146. By Lena Ernstsen

Changed tooltip for 'Merge Composed Net'

1145. By Lena Ernstsen

Changed tooltip for 'Merge Composed Net'

1144. By Lena Ernstsen

merged branch

1143. By Lena Ernstsen

Fixed undo/redo of single place/transition name visibility through editor panels

1142. By Lena Ernstsen

Show/hide names dialog remembers the settings from last time it was opened

1141. By Lena Ernstsen

Merged trunk

1140. By Lena Ernstsen

clean up

1139. By Lena Ernstsen

Undo/redo takes previous visibility factor into consideration

1138. By Lena Ernstsen

Changed active to selected

1137. By Lena Ernstsen

clean up

Branch metadata

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