Freeze break request for gnome-shell

[Florian Müllner <fmuellner gnome org>]

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