extensionPrefs: Fix extension list width

ScrolledWindow changed its allocation behavior, and the extension
list only takes up the minimum width rather than the available
width as intended. To get the previous behavior back, we need
to set the newly added :propagate-natural-width property ...

https://bugzilla.gnome.org/show_bug.cgi?id=771391
This commit is contained in:
Florian Müllner 2016-09-13 22:17:20 +02:00
parent 5dbdde8c15
commit 695bfb9616

View File

@ -152,6 +152,7 @@ const Application = new Lang.Class({
let scroll = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER, let scroll = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER,
shadow_type: Gtk.ShadowType.IN, shadow_type: Gtk.ShadowType.IN,
halign: Gtk.Align.CENTER, halign: Gtk.Align.CENTER,
propagate_natural_width: true,
margin: 18 }); margin: 18 });
this._window.add(scroll); this._window.add(scroll);