From 72cd809a8d711dfc00b861c5266f8e25e0130294 Mon Sep 17 00:00:00 2001 From: Siedlerchr Date: Mon, 25 Jan 2021 20:52:35 +0100 Subject: [PATCH 1/5] Fix File Filter and some layout issues Fixes part of #7383 --- .../externalfiles/FileExtensionViewModel.java | 2 +- .../externalfiles/UnlinkedFilesCrawler.java | 2 +- .../externalfiles/UnlinkedFilesDialog.fxml | 10 +-- .../externalfiles/UnlinkedPDFFileFilter.java | 8 +- .../java/org/jabref/logic/util/FileType.java | 2 + .../jabref/logic/util/StandardFileType.java | 78 ++++++++++--------- .../jabref/logic/util/UnknownFileType.java | 5 ++ .../logic/util/io/DatabaseFileLookup.java | 6 +- 8 files changed, 66 insertions(+), 47 deletions(-) diff --git a/src/main/java/org/jabref/gui/externalfiles/FileExtensionViewModel.java b/src/main/java/org/jabref/gui/externalfiles/FileExtensionViewModel.java index f1f51862c30..121517bf5bc 100644 --- a/src/main/java/org/jabref/gui/externalfiles/FileExtensionViewModel.java +++ b/src/main/java/org/jabref/gui/externalfiles/FileExtensionViewModel.java @@ -19,7 +19,7 @@ public class FileExtensionViewModel { private final ExternalFileTypes externalFileTypes; FileExtensionViewModel(FileType fileType, ExternalFileTypes externalFileTypes) { - this.description = Localization.lang("%0 file", fileType.toString()); + this.description = Localization.lang("%0 file", fileType.getName()); this.extensions = fileType.getExtensionsWithDot(); this.externalFileTypes = externalFileTypes; } diff --git a/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesCrawler.java b/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesCrawler.java index 60d89246e1b..4b29a57204f 100644 --- a/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesCrawler.java +++ b/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesCrawler.java @@ -74,7 +74,7 @@ private FileNodeViewModel searchDirectory(Path directory, UnlinkedPDFFileFilter Map> fileListPartition; try (Stream filesStream = StreamSupport.stream(Files.newDirectoryStream(directory, fileFilter).spliterator(), false)) { - fileListPartition = filesStream.collect(Collectors.partitioningBy(path -> path.toFile().isDirectory())); + fileListPartition = filesStream.collect(Collectors.partitioningBy(Files::isDirectory)); } catch (IOException e) { LOGGER.error(String.format("%s while searching files: %s", e.getClass().getName(), e.getMessage())); return parent; diff --git a/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml b/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml index 0d3246da39d..479158b6a41 100644 --- a/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml +++ b/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml @@ -50,9 +50,9 @@ -