]> matita.cs.unibo.it Git - helm.git/commitdiff
GtkHSeparator deprecated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 21 Dec 2018 23:39:03 +0000 (00:39 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 21 Dec 2018 23:39:03 +0000 (00:39 +0100)
GtkSeparator used instead

matita/matita/matita.ui

index 1b567aef6a8437baa4d8fffab5cd7d28f66cfc38..8a7cc197804fdc77652da97f38b397fb35f9162d 100644 (file)
           </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>