← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/TikZExporter.java
24
24
                FIGURE_ONLY, FULL_LATEX
25
25
        }
26
26
 
27
 
        private DataLayer net;
28
 
        private String fullpath;
29
 
        private TikZOutputOption option;
30
 
        private double scale = 1.0 / 55.0;
 
27
        private final DataLayer net;
 
28
        private final String fullpath;
 
29
        private final TikZOutputOption option;
 
30
        private final double scale = 1.0 / 55.0;
31
31
        
32
32
        private double RoundCoordinate(double position) {
33
33
            return Math.round(position * scale * 10)/10.0d;