Method chooseFileToSave

src/main/java/jace/ide/IdeController.java:209–217

(DocumentType type)

    }

    private File chooseFileToSave(DocumentType type) {
        FileChooser chooser = new FileChooser();
        chooser.setTitle("Save " + type.name() + " document");
        chooser.getExtensionFilters().addAll(
                new FileChooser.ExtensionFilter(type.name(), type.extensions),
                new FileChooser.ExtensionFilter("All Files", "*.*")
        );
        return chooser.showSaveDialog(JaceApplication.getApplication().primaryStage);
    }

    @FXML
    void executeClicked(ActionEvent event) {