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.

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

UI: web search/Groups width not remembered #8907

Open
2 tasks done
ilippert opened this issue Jun 18, 2022 · 15 comments · Fixed by #8936
Open
2 tasks done

UI: web search/Groups width not remembered #8907

ilippert opened this issue Jun 18, 2022 · 15 comments · Fixed by #8936
Labels
bug Confirmed bugs or reports that are very likely to be bugs groups os: linux ui

Comments

@ilippert
Copy link
Contributor

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 ThiloteE added groups bug Confirmed bugs or reports that are very likely to be bugs ui labels Jun 19, 2022
@ThiloteE ThiloteE reopened this Aug 25, 2022
@ThiloteE
Copy link
Member

ThiloteE commented Aug 25, 2022

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
Copy link
Member

Cannot reproduce in the latest development version.

@ThiloteE
Copy link
Member

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

@ThiloteE ThiloteE reopened this Aug 26, 2022
@ThiloteE
Copy link
Member

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

@Siedlerchr
Copy link
Member

Can you still reproduce this in 5.8?

@ilippert
Copy link
Contributor Author

JabRef 5.10--2023-01-12--5d24847
Linux 6.0.18-300.fc37.x86_64 amd64
Java 19.0.1
JavaFX 19+11

cannot reproduce anymore, so am closing this issue.

@ThiloteE
Copy link
Member

@Siedlerchr yes, can still reproduce this NOT working in JabRef 5.9 stable on Linux Mint Cinnamon (20.3). If I remember correctly, Linux Mint uses the Nemo window/desktop manager. I still have not tried the new Linux Mint 21.xx version. I really would like to know, if a newer version behaves similar. Since width behaves correctly on Mac, Windows and Fedora, Linux Mint is the odd one out.

Interestingly, when I tried JabRef 5.5, the group width was exactly in the location I put it with version 5.9. So JabRef actually seems to store the location, but with 5.9 it is "overriden" with the default location, whereas in 5.5 the info from the storage is used.

This issue is not fixed, so I reopen. By fixing the issue for other versions of JabRef, it broke for Linux Mint.

Unless you want me to open a new issue for this @ilippert ?

@ThiloteE ThiloteE reopened this Jan 13, 2023
@ilippert
Copy link
Contributor Author

Unless you want me to open a new issue for this @ilippert ?

no need, do keep it open here :)

@ThiloteE
Copy link
Member

ThiloteE commented Jan 13, 2023

For anybody who wants to fix this: Start by trying to reproduce with Linux Mint 21.xx

@Siedlerchr
Copy link
Member

@ilippert Is this still an issue with the latest development version (now with javafx20 ?)

https://builds.jabref.org/main

@ilippert
Copy link
Contributor Author

JabRef 5.10--2023-04-16--d47ed31
Linux 6.2.11-200.fc37.x86_64 amd64
Java 19.0.2
JavaFX 20+19

Issue not solved here. @ThiloteE, how about your system?

@ThiloteE
Copy link
Member

Today I tested the newest development version of JabRef (5.10-2023-06-26) on Linux Mint 21.1
Behaviour is similar to Linux Mint 20.x

#8907 (comment) still is relevant.

@ilippert
Copy link
Contributor Author

ilippert commented Jun 11, 2024

JabRef 5.14--2024-06-03--109600b
Linux 6.8.11-300.fc40.x86_64 amd64
Java 21.0.2
JavaFX 22.0.1+7

Still not fixed on Fedora 40 with Gnome - sorry, #8936 did not seem to have the desired effect.

@InAnYan
Copy link
Collaborator

InAnYan commented Aug 5, 2024

Linux Mint 21.3 x86_64

Kernel: 5.15.0-116-generic

Desktop Environment: Xfce 4.18
Windows manager: Xfwm4

Sometimes I have this issue, sometimes not 😄

@ryan-carpenter
Copy link

This is resolved on my system using the current development version.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Confirmed bugs or reports that are very likely to be bugs groups os: linux ui
Projects
Status: Low priority
Development

Successfully merging a pull request may close this issue.

5 participants