fix: Tab bar tabs not visible #13935
Conversation
![trag-bot[bot]](https://avatars.githubusercontent.com/in/856808?s=60&v=4){kind=small}
| // Hide tab bar | ||
| stateManager.getOpenDatabases().addListener((ListChangeListener<BibDatabaseContext>) _ -> updateTabBarVisible()); | ||
| EasyBind.subscribe(preferences.getWorkspacePreferences().hideTabBarProperty(), _ -> updateTabBarVisible()); | ||
| tabbedPane.getTabs().addListener((ListChangeListener<Tab>) _ -> updateTabBarVisible()); |
There was a problem hiding this comment.
The patch does not address the special instruction to ensure that the pull request title contains a short title of the issue fixed, rather than just 'Fix issue xyz'.
|
@koppor On PR opened/updated / Remove label "status: changes-required" (pull_request_target) fails |
Known issue. Will always fail at contributors. Maybe, you could introduce an if to check for PR source JabRef org as work around. |
Done in #13936 |
github-merge-queue
bot
removed this pull request from the merge queue due to failed status checks
|
@trag-bot didn't find any issues in the code! ✅✨ |
3 participants
Closes #13897
Steps to test
Open JabRef, then open an arbitrary library of your choice, then go to Help > Welcome Tab. You should see that the title bar is visible whenever you have both welcome tab and a library open.
Mandatory checks
CHANGELOG.mdin a way that is understandable for the average user (if change is visible to the user)