-
-
Notifications
You must be signed in to change notification settings - Fork 2.8k
Fix group scrolling #10523
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
Fix group scrolling #10523
Conversation
Co-authored-by: Christoph <[email protected]> Co-authored-by: Carl Christian Snethlage <[email protected]>
Co-authored-by: Christoph <[email protected]> Co-authored-by: Carl Christian Snethlage <[email protected]>
test with multiple libraries and different sized group trees and collapsed/expanded |
We don't get the right number of tree nodes:
|
The number can be retrieved by It is difficult to get the height of a concrete group. Only the text height is known, but not with borders. With the heuristics Tested with 50 groups. Worked fine. |
The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build. |
Fixes #9754
Mandatory checks
CHANGELOG.md
described in a way that is understandable for the average user (if applicable)