-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Hide tab bar #12395
base: main
Are you sure you want to change the base?
Hide tab bar #12395
Conversation
This PR resolves the issues from the previous ones and has passed all the checks. |
@calixtus Should I add the option to turn this behavior on or off here? |
I would put it rather in workspace preferences. The entry table preferences should focus on the maintable. The tabbedPane itself is part of the frame. |
Do not close a pull request in GitHub. Just push to your branch, GitHub will automatically update your pull request. This way all the discussion in the former pr is gone. |
Do not forget to add a changelog entry |
Sure, I will not close the PR. By mistake, in the previous PRs, I also added the commits from the copyToOption branch. |
Is the preference correctly placed in the UI? Created a CSS class that can be added or removed. Using BindingHelper.subscribeFuture() is not working smoothly. Not using BindingHelper.subscribeFuture() works fine, but if anyone changes the preference, it does not reflects in real time and shows from the next time. Please review. |
@calixtus The right click context menu has six options:
The functionality of option 2 and 3 would be lost. A three-dot menu can be placed in the top right of main table to show the same right-click context menu. |
@calixtus Should the close button be placed here? |
Yes, i like it.
Maybe you can use a PseudoClass to distinguish between hidden and shown. Did you try EasyBind.subscribe()? |
@JabRef/developers wdyt? |
I would move all the options to the library menu options. This has the advantage that it can also be shown when you have multiple tabs. |
Move? Why? We wanted the right-click menu when we introduced oneandahalf year ago. |
When one library is open we rely on the menu. I find another 3 dot thing confusing |
The feature is working fine, it observes both the number of open databases and reflects real-time changes based on the value of the checkbox. Please review Recording.2025-01-20.mp4 |
I am unable to add the 'Open in File Explorer' option because the OpenDatabaseFolder class inside JabRefFrame is private.
|
We can just make it public and static so we can create instances of it without needing JabRefFrame |
Is the feature complete, or does it also require a close button? Recording.2025-01-22.mp4 |
Protip: videos can drag & dropped in GitHub comments and they will be uploaded automatically :) I don't know whether this is complete or not, Carl and Chris would be of a better help. But this reviewable at least so let's undraft it. |
It says the video is too large. I will compress and use it. |
The software you use for recording should have done the compression automatically; 17 seconds of video being too large is weird. Try to tinker around with its settings. |
Would you please resolve the conflicts and address the review comments so we can get this ready? |
@Siedlerchr Done. |
Fixes #9971
This PR introduces a feature to hide the tab bar when only a single library is open in JabRef, enhancing the user interface for devices with low screen space.
THE CHANGES MADE
CHANGELOG.md
described in a way that is understandable for the average user (if change is visible to the user)