lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 1154

Jiri Srba: Approve on 2021-10-21

Diff: 403 lines (+224/-47)

1 file modified

src/pipe/gui/TikZExporter.java (+224/-47)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1945642: Fix tikz export

Undecided

Fix Committed

Link a bug report

Related blueprints

1158. By Kristian Morsing Pedersen <email address hidden> on 2021-10-17

Changed unit from px to pt

1157. By <email address hidden> on 2021-10-17

merged with trunk

1156. By Kristian Morsing Pedersen <email address hidden> on 2021-10-14

Now correctly show transition rotations for 45 degree angles

1155. By Kristian Morsing Pedersen <email address hidden> on 2021-10-14

Fixed imports

1154. By Kristian Morsing Pedersen <email address hidden> on 2021-10-14

Removes unused imports

1153. By Kristian Morsing Pedersen <email address hidden> on 2021-10-14

Removes unused imports

1152. By Kristian Morsing Pedersen <email address hidden> on 2021-10-14

Now exports curved arcs correctly

1151. By Kristian Morsing Pedersen <email address hidden> on 2021-10-10

Removed commented code

1150. By Kristian Morsing Pedersen <email address hidden> on 2021-10-10

Improved quality of Tikz export and various fixes

1149. By Jiri Srba on 2021-10-02

merged in lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 fixing boundedness check in workflow analysis