}\r
\r
public void saveOpenRocketDocument() throws IOException {\r
+ \r
+ // Translate the fileUri if it happens to be a .rkt file.\r
+\r
+ String filename = fileUri.getPath();\r
+ \r
+ if ( ! filename.endsWith(".ork") ) {\r
+ filename = filename.concat(".ork");\r
+ }\r
+ \r
OpenRocketSaver saver = new OpenRocketSaver();\r
StorageOptions options = new StorageOptions();\r
options.setCompressionEnabled(true);\r
options.setSimulationTimeSkip(StorageOptions.SIMULATION_DATA_ALL);\r
- saver.save(new File(fileUri.getPath()),rocketDocument,options);\r
+ saver.save(new File(filename),rocketDocument,options);\r
isModified = false;\r
}\r
\r