António Fernandes authored Apr 07, 2024 and Peter Eisenmann committed Apr 27, 2024

Unlike other preferences change callbacks, it doesn't do anything other
than asking to updating the cached setting value.

Also, it has an unamed and unused `gpointer` parameter, which is unusual.