From c082078c5ec4c39a8c8ffc1a020f80ba1cfa41a1 Mon Sep 17 00:00:00 2001 From: Carl Christian Snethlage Date: Sun, 17 May 2020 20:57:17 +0200 Subject: [PATCH 01/11] Removed unused preferences --- .../jabref/gui/preferences/AdvancedTab.fxml | 5 -- .../gui/preferences/AdvancedTabView.java | 5 -- .../gui/preferences/AdvancedTabViewModel.java | 25 ++------ .../jabref/preferences/JabRefPreferences.java | 64 +++++++++---------- .../preferences/PreferencesService.java | 14 ++++ src/main/resources/l10n/JabRef_en.properties | 3 - 6 files changed, 50 insertions(+), 66 deletions(-) diff --git a/src/main/java/org/jabref/gui/preferences/AdvancedTab.fxml b/src/main/java/org/jabref/gui/preferences/AdvancedTab.fxml index 57bf6241d0c..f3af9717136 100644 --- a/src/main/java/org/jabref/gui/preferences/AdvancedTab.fxml +++ b/src/main/java/org/jabref/gui/preferences/AdvancedTab.fxml @@ -24,11 +24,6 @@