← 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/Export.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/Export.java
262
262
                                }
263
263
                                break;
264
264
                        case QUERY:
265
 
                                filename = FileBrowser.constructor("Query XML file", "xml", filename).saveFile(CreateGui.getAppGui().getCurrentTabName().replaceAll(".xml", "-queries"));
 
265
                                filename = FileBrowser.constructor("Query XML file", "xml", filename).saveFile(CreateGui.getAppGui().getCurrentTabName().replaceAll(".tapn", "-queries"));
266
266
                                if (filename != null) {
267
267
                                        toQueryXML(filename);
268
268
                                }