From 2b05ef27b2fc566fab320822198be26b8067f376 Mon Sep 17 00:00:00 2001 From: Damien Goutte-Gattat Date: Wed, 15 Feb 2023 15:25:38 +0000 Subject: [PATCH] Do not override user-provided extension. When saving a file under a user-provided name, we check the name for any extension. If there is no extension or if the extension is not one of the allowed extensions for the chosen file format, we forcibly append an allowed extension to the filename. This commit updates this behaviour to append an extension only in the case where there is no extension. If the user-provided filename already has an extension, we keep it as it is even if we don't recognize the extension. closes #1087. --- .../src/main/java/org/protege/editor/owl/OWLEditorKit.java | 3 --- 1 file changed, 3 deletions(-) diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java index 2f0c7980f..b71497cdb 100644 --- a/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java +++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/OWLEditorKit.java @@ -389,9 +389,6 @@ private File getSaveAsOWLFile(@Nonnull OWLOntology ont, @Nonnull OWLDocumentForm if (extensionIndex == -1) { file = new File(file.toString() + extensions.get(0)); } - else if (! extensions.contains(file.toString().substring(extensionIndex))) { - file = new File(file.toString() + extensions.get(0)); - } } return file; }