Hey folks, I'm sorry I didn't catch this before the freeze. It turns out gnome-shell's extension-prefs tool is another victim of GTK+'s ScrolledWindow changes this cycle:
https://people.gnome.org/~fmuellner/Extension-prefs-nay.png The trivial patch in https://bugzilla.gnome.org/show_bug.cgi?id=771391 restores its intended look again: https://people.gnome.org/~fmuellner/Extension-prefs-yay.png Thanks, Florian
_______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.