From ec88998eb8456295d5360964876b192d01002ec3 Mon Sep 17 00:00:00 2001 From: Christoph Date: Fri, 29 Jan 2021 22:11:29 +0100 Subject: [PATCH] Fix File Filter and some layout issues (#7385) * Fix File Filter and some layout issues Fixes part of #7383 * better min width * Any file instead of all * remove style class * l10n Co-authored-by: Carl Christian Snethlage <50491877+calixtus@users.noreply.github.com> --- src/main/java/org/jabref/gui/Base.css | 2 +- .../externalfiles/FileExtensionViewModel.java | 2 +- .../externalfiles/UnlinkedFilesCrawler.java | 2 +- .../externalfiles/UnlinkedFilesDialog.fxml | 14 ++-- .../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 +- src/main/resources/l10n/JabRef_en.properties | 2 +- 10 files changed, 70 insertions(+), 51 deletions(-) diff --git a/src/main/java/org/jabref/gui/Base.css b/src/main/java/org/jabref/gui/Base.css index bf6f8fb5612..ffe7cd3f04f 100644 --- a/src/main/java/org/jabref/gui/Base.css +++ b/src/main/java/org/jabref/gui/Base.css @@ -1217,6 +1217,6 @@ TextFlow * { } -.mainTable-header{ +.mainTable-header { -fx-fill: -fx-mid-text-color; } 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..bea10fcc9c3 100644 --- a/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml +++ b/src/main/java/org/jabref/gui/externalfiles/UnlinkedFilesDialog.fxml @@ -34,14 +34,14 @@ - - + +