lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528
Branch merges
- Jiri Srba: Approve
-
Diff: 131 lines (+36/-18)1 file modifiedsrc/pipe/gui/TikZExporter.java (+36/-18)
Related bugs
Bug #1820528: Tikz export - position of place/transition labels | Undecided | Fix Released |
Related blueprints
Branch information
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
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal