hongshaorou/openrocket
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[fixes #899] Show file extension in save text input

Browse Source
This commit is contained in:
Sibo Van Gool 2021-09-09 01:09:10 +02:00
parent b8c9bd94d6
commit 8d196d8672
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
core/src/net/sf/openrocket/document/OpenRocketDocument.java
View File

@ -34,7 +34,7 @@ import net.sf.openrocket.util.ArrayList;
*/ */
public class OpenRocketDocument implements ComponentChangeListener { public class OpenRocketDocument implements ComponentChangeListener {
private static final Logger log = LoggerFactory.getLogger(OpenRocketDocument.class); private static final Logger log = LoggerFactory.getLogger(OpenRocketDocument.class);
private final List<String> file_extensions = Arrays.asList("ork", "rkt"); // Possible extensions of an OpenRocket document private final List<String> file_extensions = Arrays.asList("ork", "ork.gz", "rkt", "rkt.gz"); // Possible extensions of an OpenRocket document
/** /**
* The minimum number of undo levels that are stored. * The minimum number of undo levels that are stored.
*/ */

2
swing/src/net/sf/openrocket/gui/main/SaveAsFileChooser.java
View File

@ -41,6 +41,7 @@ public class SaveAsFileChooser extends JFileChooser {
switch( type ) { switch( type ) {
default: default:
case OPENROCKET: case OPENROCKET:
defaultFilename = FileHelper.forceExtension(defaultFilename,"ork");
this.setDialogTitle(trans.get("saveAs.openrocket.title")); this.setDialogTitle(trans.get("saveAs.openrocket.title"));
storageChooser = new StorageOptionChooser(document, document.getDefaultStorageOptions()); storageChooser = new StorageOptionChooser(document, document.getDefaultStorageOptions());
this.setAccessory(storageChooser); this.setAccessory(storageChooser);
@ -48,6 +49,7 @@ public class SaveAsFileChooser extends JFileChooser {
this.setFileFilter(FileHelper.OPENROCKET_DESIGN_FILTER); this.setFileFilter(FileHelper.OPENROCKET_DESIGN_FILTER);
break; break;
case ROCKSIM: case ROCKSIM:
defaultFilename = FileHelper.forceExtension(defaultFilename,"rkt");
this.setDialogTitle(trans.get("saveAs.rocksim.title")); this.setDialogTitle(trans.get("saveAs.rocksim.title"));
storageChooser = null; storageChooser = null;
this.addChoosableFileFilter(FileHelper.ROCKSIM_DESIGN_FILTER); this.addChoosableFileFilter(FileHelper.ROCKSIM_DESIGN_FILTER);