last deprecated widget updated

[helm.git] / matita / matita / matita.ui

diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index f1f674ec132d85ada5c58746aa32a4f03632a18f..4cbc20a0fdcea8bbca844e0eaedcf861ad5926af 100644 (file)
--- 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>