Mise à jour des checkboxes dans le menu settings

Lorsqu'on clique sur une option, dans le rectangle gris mais pas sur le texte (ici 'length'), l'effet est mis à jour et appliqué mais ce n'est pas le cas des checkboxes.
En cliquant directement sur le mot, le fonctionnement est correct (et directement sur les checkboxes aussi bien entendu).