UI: web search/Groups width not remembered

[ilippert]

JabRef version

Other (please describe below)

Operating system

GNU / Linux

Details on version and operating system

JabRef 5.7--2022-06-15--cb5fe60 Linux 5.18.5-200.fc36.x86_64 amd64 Java 18.0.1 JavaFX unknown

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. change the width of the groups sidebar to your desired width
2. restart jabref
3. see that the desired width is not remembered

Appendix

No response

[ThiloteE]

JabRef 5.8--2022-08-22--a255311
Linux 5.4.0-124-generic amd64 (Linux Mint Cinnamon 20.3)
Java 18.0.2
JavaFX 18.0.2+2
Portable Version of JabRef

Unfortunately can still reproduce.

If I remember right, in Version 5.5 or 5.6 (I would need to crosscheck) this behaviour was different, but I am not sure.

[Siedlerchr]

Cannot reproduce in the latest development version.

[ThiloteE]

I tested again. I definitely was able to reproduce. Even reset my preferences. Maybe it is a Linux Mint Problem only...

[ThiloteE]

JabRef 5.6 works correctly. Something in between 5.6 and 5.7 broke it for me.

[Siedlerchr]

Can you still reproduce this in 5.8?