Update search results when active database changes (JabRef#11268)

Merged origin/update-search-results into update-search-results
JabRef · Apr 30, 2024 · 4f87740 · 4f87740
1 parent 3abdefd
commit 4f87740
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/org/jabref/gui/search/GlobalSearchBar.java b/src/main/java/org/jabref/gui/search/GlobalSearchBar.java
@@ -238,7 +238,7 @@ public GlobalSearchBar(LibraryTabContainer tabContainer,
                 query -> setSearchTerm(query.map(SearchQuery::getQuery).orElse("")));
 
         this.searchQueryProperty.addListener((obs, oldValue, newValue) -> newValue.ifPresent(this::updateSearchResultsForQuery));
-        this.searchQueryProperty.addListener((obs, oldValue, newValue) -> searchQueryProperty.get().ifPresent(this::updateSearchResultsForQuery));
+        this.stateManager.activeDatabaseProperty().addListener(obs -> searchQueryProperty.get().ifPresent(this::updateSearchResultsForQuery));
         /*
          * The listener tracks a change on the focus property value.
          * This happens, from active (user types a query) to inactive / focus