From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 22 Dec 2018 00:12:51 +0000 (+0100)
Subject: last deprecated widget updated
X-Git-Tag: make_still_working~229^2~1^2~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=23cce26b9d3364626c680d95c5e450732be1a071;hp=8e67f8ad026ac0891771321be3c506729c4356c0;p=helm.git

last deprecated widget updated
---

diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index f1f674ec1..4cbc20a0f 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -30,11 +30,9 @@
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <child>
-                      <object class="GtkTable" id="table">
+                      <object class="GtkGrid" id="table">
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
-                        <property name="n_rows">3</property>
-                        <property name="n_columns">3</property>
                       </object>
                     </child>
                   </object>