+
+ // Saving RockSim designs is not supported
+ if (ROCKSIM_DESIGN_FILTER.accept(file)) {
+ file = new File(file.getAbsolutePath().replaceAll(".[rR][kK][tT](.[gG][zZ])?$",
+ ".ork"));
+
+ int option = JOptionPane.showConfirmDialog(this, new Object[] {
+ "Saving designs in RockSim format is not supported.",
+ "Save in OpenRocket format instead ("+file.getName()+")?"
+ }, "Save "+file.getName(), JOptionPane.YES_NO_OPTION,
+ JOptionPane.QUESTION_MESSAGE, null);
+ if (option != JOptionPane.YES_OPTION)
+ return false;
+
+ document.setFile(file);
+ }
+ return saveAs(file);