No checkboxes for highlighting in groups menu

[tobiasdiez]

Under Menu > Groups there are two options "Highlight groups matching any/all selected entries". These options are toggleable but no checkbox is shown to indicate whether the option is active.

(And the German translation is hard to understand. In https://sourceforge.net/p/jabref/bugs/947/ the following formulations are suggested:
Gruppen hervorheben, die einen der ausgewählten Einträge enthalten
Gruppen hevorheben, die alle ausgewählte Einträge enthalten)