Can't escape full screen + menus stay closed (after upgrade to 5.12/5.13)

[sparusaurata]

JabRef version

5.12 (latest release)

Operating system

GNU / Linux

Details on version and operating system

Mint 21.2 with Cinnamon 5.8.4

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. Upgrade to 5.12 by manually installing the Debian package.
2. Open JabRef.
3. The window is in full-screen (Cinnamon's title bar and bottom panel aren't visible), and when I click on a menu item (File, Edit, etc.) it appears and disappears immediately after.
4. The solutions from https://docs.jabref.org/installation (adding Java options) don't change anything.

Appendix

Notice that I'll be able to perform some tests tomorrow if needed, but then I'll just re-install a previous version to be able to work. 😞

Log File

2023-12-27 18:44:25 [JavaFX-Launcher] sun.util.logging.internal.LoggingProviderImpl$JULWrapper.log()
WARN: Unsupported JavaFX configuration: classes were loaded from 'module org.jabref.merged.module', isAutomatic: false, isOpen: true
2023-12-27 18:44:27 [JavaFX Application Thread] org.jabref.gui.StateManager.setActiveDatabase()
INFO: No open database detected
2023-12-27 18:44:27 [JavaFX Application Thread] org.jabref.gui.theme.ThemeManager.updateThemeSettings()
INFO: Not updating theme because it hasn't changed
2023-12-27 18:44:27 [JavaFX Application Thread] org.jabref.gui.theme.ThemeManager.updateThemeSettings()
INFO: Theme set to Theme{type=EMBEDDED, name='Dark.css'} with base css StyleSheet{jrt:/org.jabref/org/jabref/gui/Base.css}
2023-12-27 18:44:27 [JavaFX Application Thread] org.jabref.gui.theme.ThemeManager.updateThemeSettings()
INFO: Not updating theme because it hasn't changed
2023-12-27 18:44:27 [JavaFX Application Thread] org.jabref.gui.theme.ThemeManager.updateThemeSettings()
INFO: Theme set to Theme{type=EMBEDDED, name='Dark.css'} with base css StyleSheet{jrt:/org.jabref/org/jabref/gui/Base.css}
2023-12-27 18:44:29 [JavaFX Application Thread] org.jabref.preferences.JabRefPreferences.getFetcherKeysFromKeyring()
WARN: JabRef could not open the key store
2023-12-27 18:44:29 [pool-1-thread-1] org.jabref.gui.JabRefDialogService.notify()
INFO: Ouverture en cours: (...)

[Siedlerchr]

@ThiloteE don't you have Linux mint as well?

[ThiloteE]

I am on an older version of Linux Mint (20.3). I use the flatpak version of JabRef. The newest portable version I can run there is JabRef 5.9, because JabRef requires a newer kernel, which by default is only delivered with Ubuntu 22.0X or something and Linux Mint 20.3 is based on an older Ubuntu. I have not tried any of the deb versions.

[Siedlerchr]

Can you test the latest 5.13 from here?
https://builds.jabref.org/main/
We donwgraded javafx

[k3KAW8Pnf7mkmdSMPHz27]

I can't reproduce in Ubuntu 22.04, but I don't use Cinnamon

[k3KAW8Pnf7mkmdSMPHz27]

Can't replicate it in Ubuntu 22.04 using Cinnamon, but I am unable to open JabRef in full-screen, so perhaps not that useful.

This might be related to the original part of #4939 ?

[sparusaurata]

Can you test the latest 5.13 from here? https://builds.jabref.org/main/ We donwgraded javafx

The bug persists. 😢

• I downgraded to 5.6 (a bit randomly, since I didn't remember the previous version I had) and it works fine.
• EDIT: I also tried 5.10, it bugs.

[Siedlerchr]

Then this sounds more like a bug in cinnamonn

[AdamWysokinski]

I have a similar issue using Linux/i3 wm. Menus close immediately, unless the mouse key is kept pressed. But then, menu options cannot be selected. Menus keyboard shortcuts works fine. Same for 5.13. The issue is not present in 5.11.

[messiem]

Same issue here; I just installed 5.12 and did not have the issue in 5.11.
Running Ubuntu 22.04.3 in Wayland.

Updating this because I first thought it had to do with Wayland but maybe not; my other (Xorg?) Ubuntu version was set up differently for displays. From what I can tell it had more to do with using dual displays and which one was set up as primary (the bug only happened when my external display was set up as primary). I installed 5.13 following a link given above and while the bug was still there at first, after a bit more random tests I am back on Wayland + primary external display and all looks well now (no idea why), so I won't touch this anymore - I'll report back if the bug comes back.

[Siedlerchr]

Can you please test this version? https://builds.jabref.org/pull/10808/merge
@AdamWysokinski At least the menu problem on i3 should be fixed

[AdamWysokinski]

The new build works fine on i3, thanks!