Merge pull request #876 from wolsen/bugs/872

Force a .rkt extension rather than .ork on export
This commit is contained in:
Joe Pfeiffer 2021-01-04 08:45:44 -07:00 committed by GitHub
commit 519379cf56
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1369,7 +1369,7 @@ public class BasicFrame extends JFrame {
((SwingPreferences) Application.getPreferences()).setDefaultDirectory(chooser.getCurrentDirectory()); ((SwingPreferences) Application.getPreferences()).setDefaultDirectory(chooser.getCurrentDirectory());
file = FileHelper.forceExtension(file, "ork"); file = FileHelper.forceExtension(file, "rkt");
if (FileHelper.confirmWrite(file, this) ) { if (FileHelper.confirmWrite(file, this) ) {
return saveAsRocksim(file); return saveAsRocksim(file);
} }