Highlighter is not highlighting
The highlighter is not doing its job, as shown in the attached image.
Expected behavior: Earmarks and entered numbers conflicting with the existing configuration of given and entered numbers should be highlighted in red. For example, in the image below all of the 6 earmarks in the upper right should be red, and all of the 6s entered in the lower left should be red.
Observed behavior: Earmarks and entered numbers are never highlighted.
This behavior emerged around a month ago (around the same time that the typeface used in gnome-sudoku changed to a somewhat heavier font, as shown below, than I am used to… I ditched and rebuilt the font cache, but that changed neither typeface, nor the highlighter misbehavior).
I am running Ubuntu 22.04.3 LTS, and GNOME version 42.9. I have purged and reinstalled gnome-sudoku, and also deleted the stored game information in ~/.local/share/gnome-sudoku
to no avail.
Not sure what other information to provide, but happy to respond to requests for such.