Fixed #1953 Save as EXE - add file extension when missing

This commit is contained in:
Jindra Petřík
2023-01-28 11:09:42 +01:00
parent 7822ec078d
commit 908e4907b4
2 changed files with 10 additions and 2 deletions

View File

@@ -1899,6 +1899,7 @@ public class Main {
};
ExeExportMode exeExportMode = null;
FileFilter exeFilter = null;
if (mode == SaveFileMode.EXE) {
exeExportMode = Configuration.exeExportMode.get();
if (exeExportMode == null) {
@@ -1925,7 +1926,7 @@ public class Main {
String fext = ext;
String ffilterDescription = filterDescription;
FileFilter exeFilter = new FileFilter() {
exeFilter = new FileFilter() {
@Override
public boolean accept(File f) {
return (f.getName().toLowerCase(Locale.ENGLISH).endsWith(fext)) || (f.isDirectory());
@@ -1971,6 +1972,11 @@ public class Main {
fileName += ".abc";
}
}
if (selFilter == exeFilter) {
if (!fileName.toLowerCase(Locale.ENGLISH).endsWith(extension)) {
fileName += extension;
}
}
Main.saveFile(openable, fileName, mode, exeExportMode);
Configuration.lastSaveDir.set(file.getParentFile().getAbsolutePath());
return true;