Fix tikz export
Bug #1945642 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Kristian Morsing Pedersen |
Bug Description
Improve the quality of tikz export (e.g. transition rotation) so that it looks as close as possible
to the view in the GUI. Remember to check the extra features (game/nongame, timed/untimed).
Related branches
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642
- Jiri Srba: Approve
-
Diff: 403 lines (+224/-47)1 file modifiedsrc/pipe/gui/TikZExporter.java (+224/-47)
Changed in tapaal: | |
assignee: | nobody → Kristian Morsing Pedersen (krismp99) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.