Change default filename for paths.
這個提交存在於:
父節點
97775a9714
當前提交
80df87ba51
共有 1 個檔案被更改,包括 1 行新增 和 1 行删除
|
|
@ -219,7 +219,7 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
|
||||||
@Override
|
@Override
|
||||||
public void actionPerformed(ActionEvent e) {
|
public void actionPerformed(ActionEvent e) {
|
||||||
String filepath = String.format("path_%s_%d_%d.path",
|
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());
|
path.getOrigin().getId(), path.getDestination().getId());
|
||||||
JFileChooser chooser = FileUtils.createFileChooser(FolderType.PathOutput,
|
JFileChooser chooser = FileUtils.createFileChooser(FolderType.PathOutput,
|
||||||
filepath);
|
filepath);
|
||||||
|
|
|
||||||
載入中…
新增問題並參考