f6edfd503b
With the new boolean setting, the "High Contrast" toggle can now simply toggle the setting instead of the current gtk/icon-theme shenanigans. This isn't only much simpler, but will also make switching between high-contrast and a non-default theme reliable at last. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2069>