JabRef version

Latest development branch build (please note build date below)

Operating system

GNU / Linux

Details on version and operating system

Ubuntu 20.04, Gnome desktop

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. Select one of the sidebar options (i.e., Groups interface) from the View menu (alternatively, use the shortcut key)
2. Close the sidebar by clicking on the “X” in the top right corner
3. Open View menu and observe that the sidebar option has a checkmark next to it.
4. Select same sidebar option (with checkmark)
5. Open View menu and observe that the sidebar option checkmark has disappeared even though the sidebar option is active.

Appendix

No response