← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/pipe/gui/ExportBatchDialog.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/ExportBatchDialog.java
80
80
        private JTextField destinationPathField;
81
81
        private JList fileList;
82
82
        private DefaultListModel listModel;
83
 
        private List<File> files = new ArrayList<File>();
 
83
        private final List<File> files = new ArrayList<File>();
84
84
        private String lastExportPath;
85
85
        private String lastSelectPath;
86
86
        private JCheckBox uniqueQueryNames;