Transition rotation when exporting to tikz
Bug #1550895 reported by
Mads Johannsen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Mads Johannsen | ||
Bug Description
Transitions with rotation: 45 and -45 are being mirrored when exported to tikz.
Reproduce: Open the attached net, export it to tikz, compile the tex file, open the PDF, and compare the two nets.
Related branches
lp:~tapaal-contributor/tapaal/transition-rotation-fix-1550895
- TAPAAL Reviewers: Pending requested
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/pipe/gui/TikZExporter.java (+1/-1)
Revision history for this message
| Mads Johannsen (mjohan12) wrote | #1 |
| Changed in tapaal: | |
| importance: | Undecided → Critical |
| status: | New → Confirmed |
| Changed in tapaal: | |
| assignee: | nobody → Mads Johannsen (mjohan12) |
| status: | Confirmed → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
