![Florian Müllner](/assets/img/avatar_default.png)
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
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