From fc934b5398a33e66f6351737477ce3cfb7b201e0 Mon Sep 17 00:00:00 2001 From: Carl Christian Snethlage Date: Sat, 18 May 2019 16:06:57 +0200 Subject: [PATCH] Added switchable visibility of hint for GlobalSearchBar --- src/main/java/org/jabref/gui/preferences/PreferencesDialog.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/main/java/org/jabref/gui/preferences/PreferencesDialog.java b/src/main/java/org/jabref/gui/preferences/PreferencesDialog.java index 7145caa3ed7..936d90a49a6 100644 --- a/src/main/java/org/jabref/gui/preferences/PreferencesDialog.java +++ b/src/main/java/org/jabref/gui/preferences/PreferencesDialog.java @@ -229,6 +229,7 @@ private void updateAfterPreferenceChanges() { XmpPreferences xmpPreferences = prefs.getXMPPreferences(); Globals.exportFactory = ExporterFactory.create(customExporters, layoutPreferences, savePreferences, xmpPreferences); prefs.updateEntryEditorTabList(); + frame.getGlobalSearchBar().updateHintVisibility(); } private void storeAllSettings() { @@ -247,6 +248,7 @@ private void storeAllSettings() { GUIGlobals.updateEntryEditorColors(); frame.setupAllTables(); dialogService.notify(Localization.lang("Preferences recorded.")); + updateAfterPreferenceChanges(); } public void setValues() {