Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Group counters cut off large numbers when default font setting is changed #9341

Closed
2 tasks done
juejung opened this issue Nov 2, 2022 · 2 comments
Closed
2 tasks done

Group counters cut off large numbers when default font setting is changed #9341

juejung opened this issue Nov 2, 2022 · 2 comments

Comments

@juejung
Copy link
Sponsor

juejung commented Nov 2, 2022

JabRef version

Latest development branch build (please note build date below)

Operating system

GNU / Linux

Details on version and operating system

Ubuntu 22.04 with Gnome 42.4

Checked with the latest development build

  • I made a backup of my libraries before testing the latest development version.
  • I have tested the latest development version and the problem persists

Steps to reproduce the behaviour

  1. Open JabRef 5.8--2022-10-31--e7c8535
  2. Change Font size to size 14 under Preferences --> Appearance
  3. Turn on Group side panel
  4. The "All entries" counter should read 4106 but cuts off number and shows as 106 because the number field is not expanded with the font size

Screenshot from 2022-11-02 10-10-21

Appendix

...

Log File 
Paste an excerpt of your log file here
@mlep
Copy link
Contributor

mlep commented Nov 2, 2022

Looks similar to #8797

@Siedlerchr
Copy link
Member

Duplicate of #8797

@Siedlerchr Siedlerchr marked this as a duplicate of #8797 Nov 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Siedlerchr @juejung @mlep