Select the first tab which matches the search query in preferences (#…

…4825)

window

After every search clear the selection of tabs and select the first
tab in the tabsList.

Fixes #4824

src/main/java/org/jabref/gui/preferences/PreferencesDialog.java

@@ -122,6 +122,8 @@ private void construct() {
                 ScrollPane preferencePaneContainer = new ScrollPane(tab.getBuilder());
                 preferencePaneContainer.getStyleClass().add("preferencePaneContainer");
                 container.setCenter(preferencePaneContainer);
+            } else {
+                container.setCenter(null);
             }
         });
         tabsList.getSelectionModel().selectFirst();
@@ -136,6 +138,8 @@ private void construct() {
         tabsList.itemsProperty().bindBidirectional(searchHandler.filteredPreferenceTabsProperty());
         searchBox.textProperty().addListener((observable, previousText, newText) -> {
             searchHandler.filterTabs(newText.toLowerCase(Locale.ROOT));
+            tabsList.getSelectionModel().clearSelection();
+            tabsList.getSelectionModel().selectFirst();
         });
 
         VBox buttonContainer = new VBox();