From 80df87ba513934f25d97d9891b692c26d0c8086f Mon Sep 17 00:00:00 2001 From: Holt59 Date: Sun, 11 Mar 2018 21:52:28 +0100 Subject: [PATCH] Change default filename for paths. --- src/main/org/insa/graphics/PathsPanel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/org/insa/graphics/PathsPanel.java b/src/main/org/insa/graphics/PathsPanel.java index f4e643f..d1933a9 100644 --- a/src/main/org/insa/graphics/PathsPanel.java +++ b/src/main/org/insa/graphics/PathsPanel.java @@ -219,7 +219,7 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh @Override public void actionPerformed(ActionEvent e) { String filepath = String.format("path_%s_%d_%d.path", - path.getGraph().getMapId().toLowerCase().replaceAll("[^a-z0-9_]", "_"), + path.getGraph().getMapId().toLowerCase().replaceAll("[^a-z0-9_]", ""), path.getOrigin().getId(), path.getDestination().getId()); JFileChooser chooser = FileUtils.createFileChooser(FolderType.PathOutput, filepath);