-
-
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
Groups sidebar element does not scale automatically with window height #1233
Comments
Thanks for your report. It is already possible to increase/decrease the size of the Group list manually by using the buttons beneath the list of groups next to "settings". |
wow, thank you for the fast answer. The settings are still somewhat suboptimal, because the buttons move with each resize operation. |
I will leave this ticket open as a feature request for automatic scaling |
Yes, we are also not happy with the current solution and the used icons 😉 However, as you pointed out automatic scaling might be troublesome if more than one sidebar is used - but as the search sidebar was moved to the top of each tab this should not be a big issue. |
It is implemented in the latest development version, which should be available in a few minutes under http://builds.jabref.org/master/. Thanks for suggesting this improvement. |
wow again for the speed :-) thank you, too. |
JabRef is powered by donations ;-) |
done :-) |
JabRef version 3.2 on Gentoo Linux
The sidebar element "Groups" has a fixed height. This is problematic for larger displays as it wastes a lot of space and one looses the overview over the categories (see screenshot). It should scale with the remaining vertical space available in the sidebar.
As this dynamic scaling is sometimes a bit problematic using multiple sidebar elements (form a programmer perspective) it would also be helpful (as an alternative solution), if the sidebar height could be configured.
The text was updated successfully, but these errors were encountered: