More H/V deprecated widgets replaced

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

diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 3ea0c2dd9cffbf39484d80243473e5809b3fd0cb..47987930e881a49868e95b4d60c7d80a44174645 100644 (file)
--- 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>
@@ -165,12 +166,13 @@
               </packing>
             </child>
             <child>
-              <object class="GtkHButtonBox" id="hbuttonbox3">
+              <object class="GtkButtonBox" id="hbuttonbox3">
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
                 <property name="border_width">4</property>
                 <property name="spacing">4</property>
                 <property name="layout_style">end</property>
+                <property name="orientation">horizontal</property>
                 <child>
                   <object class="GtkButton" id="buttonPAUSE">
                     <property name="label">gtk-media-pause</property>
@@ -1758,19 +1760,19 @@
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
                 <child>
-                  <object class="GtkHPaned" id="hpaneScriptSequent">
+                  <object class="GtkPaned" id="hpaneScriptSequent">
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
+                    <property name="orientation">horizontal</property>
                     <child>
                       <object class="GtkBox" id="hbox18">
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
                         <property name="spacing">2</property>
                         <child>
-                          <object class="GtkHandleBox" id="TacticsButtonsHandlebox">
+                          <object class="GtkBox" id="TacticsButtonsHandlebox">
                             <property name="visible">True</property>
                             <property name="can_focus">False</property>
-                            <property name="handle_position">top</property>
                             <child>
                               <object class="GtkBox" id="vboxTacticsPalette">
                                 <property name="visible">True</property>
@@ -2442,12 +2444,13 @@
                       </packing>
                     </child>
                     <child>
-                      <object class="GtkVPaned" id="vpaned1">
+                      <object class="GtkPaned" id="vpaned1">
                         <property name="width_request">250</property>
                         <property name="height_request">500</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="position">380</property>
+                        <property name="orientation">vertical</property>
                         <child>
                           <object class="GtkNotebook" id="sequentsNotebook">
                             <property name="visible">True</property>