mirror of
https://github.com/brl/mutter.git
synced 2025-03-28 22:23:47 +00:00
1445903a34
We commonly used the generic, undetailed signal 'changed' to track changes to preferences. Since we crash on unknown preference types, this can be dangerous if somebody adds a new setting that has a type we're unfamiliar with, and something else changes it. Instead of crashing, just fizzle out doing nothing.