c47e672eea
We've been using GTK to draw server-side decorations according to the GTK theme for a long time, so no need to configure the HighContrast theme for a setting we don't use. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/377