Fixes JabRef#9372

Change default File Chooser to show supported files extensions
morganteg · Apr 28, 2023 · 3b72050 · 3b72050
1 parent a68aa47
commit 3b72050
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/main/java/org/jabref/gui/util/FileFilterConverter.java b/src/main/java/org/jabref/gui/util/FileFilterConverter.java
@@ -27,7 +27,11 @@ private FileFilterConverter() {
     }
 
     public static FileChooser.ExtensionFilter toExtensionFilter(FileType fileType) {
-        String description = Localization.lang("%0 file", fileType.toString());
+        String description = Localization.lang(
+                "%0 file (%1)",
+                fileType.getName(),
+                String.join(", ", fileType.getExtensionsWithAsteriskAndDot())
+        );
         return new FileChooser.ExtensionFilter(description, fileType.getExtensionsWithAsteriskAndDot());
     }
 

diff --git a/src/main/resources/l10n/JabRef_en.properties b/src/main/resources/l10n/JabRef_en.properties
@@ -1725,6 +1725,7 @@ Cannot\ cite\ entries\ without\ citation\ keys.\ Generate\ keys\ now?=Cannot cit
 New\ technical\ report=New technical report
 
 %0\ file=%0 file
+%0\ file\ (%1)=%0 file (%1)
 Custom\ layout\ file=Custom layout file
 Protected\ terms\ file=Protected terms file
 Style\ file=Style file