← Back to branch summary

~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016

« back to all changes in this revision

Viewing changes to src/pipe/gui/Export.java

merged in branch lp:~yrke/tapaal/remove-staticIgnoreSelect that changes the behaviour of the export feature (exports also animator configuration, selected transitions etc)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/Export.java
286
286
                if (gridEnabled) {
287
287
                        Grid.enableGrid();
288
288
                }
289
 
                PetriNetObject.ignoreSelection(false);
290
289
                g.repaint();
291
290
        }
292
291
 
293
292
        private static void setupViewForExport(DrawingSurfaceImpl g, boolean gridEnabled) {
294
293
                // Stuff to make it export properly
295
294
                g.updatePreferredSize();
296
 
                PetriNetObject.ignoreSelection(true);
297
295
                if (gridEnabled) {
298
296
                        Grid.disableGrid();
299
297
                }