The size of the field for groups is not automatically restored after restarting the program

[NeymanDmitry]

JabRef version

5.15 (latest release)

Operating system

GNU / Linux

Details on version and operating system

Ubuntu 24.04.1

Checked with the latest development build (copy version output from About dialog)

• 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. You need to create or open any library and change the size of the groups (custom size).

2. Then exit the library and the program and after turning on and opening the library, the width of the group field takes the default size (very wide), but if you reset it using alt+3 and turn it on again, the width is restored as it should.

Default wide:

Custom wide of the group field:

After restarting the program:

After restarting the group field alt+3:

Appendix

...

Log File

Paste an excerpt of your log file here

[speleos]

I was about to submit a bug report about this issue.