From a91eb355c8f2c25e03183a624d0825994c04730d Mon Sep 17 00:00:00 2001 From: Yubo-Cao Date: Thu, 18 Sep 2025 07:30:16 -0400 Subject: [PATCH] fix: Tab bar tabs not visible --- jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java b/jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java index 94c372811cf..f843588e769 100644 --- a/jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java +++ b/jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java @@ -460,7 +460,7 @@ private void initBindings() { // Hide tab bar stateManager.getOpenDatabases().addListener((ListChangeListener) _ -> updateTabBarVisible()); - EasyBind.subscribe(preferences.getWorkspacePreferences().hideTabBarProperty(), _ -> updateTabBarVisible()); + tabbedPane.getTabs().addListener((ListChangeListener) _ -> updateTabBarVisible()); stateManager.canGoBackProperty().bind( stateManager.activeTabProperty().flatMap(