← Back to branch summary

~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023

« back to all changes in this revision

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

merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/ExportBatchDialog.java
413
413
        }
414
414
 
415
415
        private void addFiles() {
416
 
                FileBrowser browser = FileBrowser.constructor("Timed-Arc Petri Nets", "xml", lastSelectPath);
 
416
                FileBrowser browser = FileBrowser.constructor("Timed-Arc Petri Nets","tapn", "xml", lastSelectPath);
417
417
                
418
418
                File[] filesArray = browser.openFiles();
419
419
                if (filesArray.length>0) {
480
480
                        lastExportPath = destPath;
481
481
                        progressBarThread.start();
482
482
                for(File file : files) {
483
 
                        Path path = Paths.get(destPath + "/" + file.getName().replaceAll(".xml", ""));
 
483
                        Path path = Paths.get(destPath + "/" + file.getName().replaceAll(".xml", "").replaceAll(".tapn", ""));
484
484
                        try {
485
485
                                if(!(Files.exists(path))) {
486
486
                                        Files.createDirectories(path);
545
545
                
546
546
                for(pipe.dataLayer.TAPNQuery query : queries) {
547
547
                        pipe.dataLayer.TAPNQuery copy = query;
548
 
                        copy.setName((fileName.replaceAll(".xml", "") + "." + query.getName() + "-" + index).replaceAll(" ", "_"));
 
548
                        copy.setName((fileName.replaceAll(".xml", "") + "." + query.getName() + "-" + index).replaceAll(" ", "_").replaceAll(".tapn", ""));
549
549
                        renamedQueries.add(copy);
550
550
                        index++;
551
551
                }