TAPAAL

Merge lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016 into lp:tapaal

  1. make-grid-reappear-on-export-tikz-cancel-1820016
  2. Merge into trunk
Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 994
Merged at revision: 995
Proposed branch: lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016
Merge into: lp:tapaal
Diff against target: 12 lines (+1/-1)
1 file modified
src/pipe/gui/Export.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+364460@code.launchpad.net

Commit message

Changed return to break. Now the grid correctly reappears no matter the choice in the dialog.

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/Export.java'
2--- src/pipe/gui/Export.java 2018-12-24 16:11:30 +0000
3+++ src/pipe/gui/Export.java 2019-03-14 20:17:51 +0000
4@@ -241,7 +241,7 @@
5 null, possibilities, "Only the TikZ figure");
6 TikZExporter.TikZOutputOption tikZOption = TikZExporter.TikZOutputOption.FIGURE_ONLY;
7 if (figureOptions == null)
8- return;
9+ break;
10
11 if (figureOptions == possibilities[0])
12 tikZOption = TikZExporter.TikZOutputOption.FIGURE_ONLY;

Subscribers

People subscribed via source and target branches