-
-
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 only show 4 digit number of entries #8797
Comments
JabRef versionLatest main development branch c38d18b Operating systemWindows Details on version and operating systemWindows 10 It looks good with JabRef in Window 10. |
On JabRef 5.7--2022-06-12--e3b2ab2 Fedora 36 it is still a problem |
@LIM0000 would you mind sharing your database with 16 760 entries? :D |
@ThiloteE you can generate one yourself https://github.com/JabRef/jabref/blob/main/scripts/bib-file-generator.py |
How can I run the script? |
Hi @ThiloteE , you can
Additional note: Hope this helps. |
Thanks for the help! :-) Can confirm: The problem can be observed on Linux Mint (Cinnamon) 20.3 as well using the portable version of JabRef. |
Can confirm: Might be also related to the screen resolution Probably the size calculation needs to be adjusted: jabref/src/main/java/org/jabref/gui/groups/GroupTreeView.java Lines 116 to 121 in a355534
|
Hi @ThiloteE , |
Yes you can :-) As a general advice: Check out https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md for a start. Also, https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace is worth having a look at. Feel free to ask if you have any questions here on GitHub or also at JabRef's Gitter chat. Try to open a (draft) pull request early on, so that people can see you are working on the issue and so that they can see the direction the pull request is heading towards. This way, you will likely receive valuable feedback. |
In yesterday's mob programming session, we could reproduce the behavior by changing the font size in the preferences (Appearance → Override default font size) Very likely this method needs to be adjusted jabref/src/main/java/org/jabref/gui/groups/GroupTreeView.java Lines 195 to 225 in a1f2d51
|
Hey @Siedlerchr, we solved this here, for a university project. Could you take a look? |
Note. The issue is not solved. I tried to check some options and the font size is set correctly for the text, I tried the following but did not succeed:
|
Hi, can I work on this issue if it's still open? |
@sambhav97 Yes, make sure to read through the thread. Easiest way to reproduce: Change the font size in the preferences -> Appearance -> Override default font size. Change to e.g. 12 |
Hint: Controls should be sized in relation to the base font size of the main application window. See the documentation on jfx css measure units: https://docs.oracle.com/javafx/2/api/javafx/scene/doc-files/cssref.html#typelength |
* Adding text formatting for hits * Bug fix on issue 8797, by decreasing the font-size at the breakpoints * Adding entry for issue #8797 in changelog * Shortened the changelog
JabRef version
Other (please describe below)
Operating system
GNU / Linux
Details on version and operating system
JabRef 5.7--2022-05-15--a90ee23 Linux 5.17.6-300.fc36.x86_64 amd64 Java 18.0.1 JavaFX 18+12
Checked with the latest development build
Steps to reproduce the behaviour
open a library with more than 9999 entries; the first digit is not shown on my system.
Appendix
The text was updated successfully, but these errors were encountered: