-
-
Notifications
You must be signed in to change notification settings - Fork 2.8k
Fixed groups scrolling #10488
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
Fixed groups scrolling #10488
Conversation
The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build. |
Thanks! The "always scroll to bottom" bug seems to be fixed, nice. For my taste, the scroll speed however is too slow now. Could it be that the speed is proportional to the number of groups? (Looking at the code it seems to always scroll a certain percentage of the whole view). I think it would be easier to make it an absolute value (i.e. 4 rows every second or so). |
@Siedlerchr did you saw my comment? For me it now takes 2 seconds to move down by one group... |
Follow up |
Merged, because JabRef was unusable before. Follow-up takes more time than 10 minutes. |
Sure, no problem. But next time please add a short comment, and reopen the issue. |
Making it an absolute value in general, would probably make it too slow for large databases (?). Instead I would suggest a lower limit on the scrolling speed, but otherwise keep the current implementation (see also my comments here: #9754 (comment)). |
Fixed #9754
Mandatory checks
CHANGELOG.md
described in a way that is understandable for the average user (if applicable)