From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 26 Dec 2018 15:38:07 +0000 (+0100)
Subject: Let the widget expand in the old way
X-Git-Tag: make_still_working~229^2~1^2~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=7e21019651087d8a295e3e746316f6149faa6ac9

Let the widget expand in the old way
---

diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 6e8481589..adc72164d 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -2556,6 +2556,7 @@
                 <property name="width_request">400</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
+                <property name="vexpand">True</property>
                 <child>
                   <object class="GtkTreeView" id="UriChoiceTreeView">
                     <property name="visible">True</property>
@@ -2577,6 +2578,7 @@
               <object class="GtkBox" id="uriEntryHBox">
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
+                <property name="vexpand">True</property>
                 <child>
                   <object class="GtkLabel" id="label2">
                     <property name="visible">True</property>
@@ -2602,7 +2604,7 @@
                 </child>
               </object>
               <packing>
-                <property name="expand">False</property>
+                <property name="expand">True</property>
                 <property name="fill">True</property>
                 <property name="position">2</property>
               </packing>