Jabref: Style of checkboxes while searching in preferences

[k3KAW8Pnf7mkmdSMPHz27]

JabRef 5.2--2020-12-22--d83ef74
Mac OS X 10.15.7 x86_64
Java 15.0.1

• [x] Mandatory: I have tested the latest development version from http://builds.jabref.org/master/ and the problem persists

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:

1. Open Preferences
2. Search for an option that uses checkbox (e.g. autosave)
3. Observe a checkbox highlighted in red, check/uncheck it

Highlighted unchecked box

Highlighted checked box

[faeludire]

Hi, I would like to help contribute to fixing this issue. Thanks.

[Siedlerchr]

@faeludire Welcome to JabRef. I suggest you take a look at the PreferencesSearchHandler and the PreferencesDialog.css
You probably need to adjust the rule for the searchHighlight in the css or define a more specific one for checkboxes
The checkbox style schema is explained here:
https://stackoverflow.com/a/44889214

[Siedlerchr]

Thanks to @faeludire this is now fixed.

[k3KAW8Pnf7mkmdSMPHz27]

It is appreciated @faeludire !