X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=8a7cc197804fdc77652da97f38b397fb35f9162d;hb=b0ba34606d0e7db245c7f15c901d741341bb4562;hp=1b567aef6a8437baa4d8fffab5cd7d28f66cfc38;hpb=b39108452d2e3116ca7db0cdd1cc72bf44959e37;p=helm.git

diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 1b567aef6..8a7cc1978 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -136,9 +136,10 @@
           </packing>
         </child>
         <child>
-          <object class="GtkHSeparator" id="hseparator3">
+          <object class="GtkSeparator" id="hseparator3">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
+            <property name="orientation">horizontal</property>
           </object>
           <packing>
             <property name="expand">False</property>