8833: Set TextOption widget to expand vertically

This commit is contained in:
Nick Hall 2015-09-05 17:21:17 +01:00
parent b2fa1350f0
commit 9ff1f7781c

View File

@ -371,6 +371,7 @@ class GuiTextOption(Gtk.ScrolledWindow):
GObject.GObject.__init__(self) GObject.GObject.__init__(self)
self.set_shadow_type(Gtk.ShadowType.IN) self.set_shadow_type(Gtk.ShadowType.IN)
self.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC) self.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC)
self.set_vexpand(True)
# Add a TextView # Add a TextView
value = self.__option.get_value() value = self.__option.get_value()