TAPAAL

lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528
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

1002. By Peter Taankvist <email address hidden>

Now label placement for export tikz works for both places and transitions

1001. By Peter Taankvist <email address hidden>

Place labels will keep their position when exporting to tikz

1000. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/tikz-export-and-arc-labels-1786458 that fixes label positions on arcs during tikz export

999. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/arc-label-position-on-template-copy-1820176 that fixes position of intervals on arcs when copying a component

998. By Jiri Srba

updated copytight information with year 2019

997. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/unshare-transitions-in-all-components-1820014 fixing deletion of shared transitions across different components

996. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023 fixing zoom update when using ctrl+scroll

995. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016 that fixes problem with disappearing grid after cancelled export to tikz

994. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012 that fixed hot-key for batch export to PNML/XML

993. By <email address hidden>

updated text for intro example net

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.