JabRef 5.2--2020-12-22--d83ef74
Mac OS X 10.15.7 x86_64
Java 15.0.1
When searching for an option in JabRef preferences, the checkbox has incorrect styling. The "unchecked" behaviour, while distinct from the "checked", is confusing since it still has a checkmark in it. This is a visual bug, the behaviour is still correct.
Steps to reproduce the behavior:
- Open Preferences
- Search for an option that uses checkbox (e.g. autosave)
- Observe a checkbox highlighted in red, check/uncheck it
Highlighted unchecked box

Highlighted checked box

JabRef 5.2--2020-12-22--d83ef74
Mac OS X 10.15.7 x86_64
Java 15.0.1
When searching for an option in JabRef preferences, the checkbox has incorrect styling. The "unchecked" behaviour, while distinct from the "checked", is confusing since it still has a checkmark in it. This is a visual bug, the behaviour is still correct.
Steps to reproduce the behavior:
Highlighted unchecked box


Highlighted checked box