X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fcompute.ui;h=45a39b09758e7d09ceadce7fa04d34e149815eca;hb=f02c89686fbe706e2800a91d13933f1129ec5c36;hp=4557c6d978c69d6b3d119246e02562793900d05f;hpb=269c66ac0f1112af5da100c4374ca78248fd3109;p=pspp

diff --git a/src/ui/gui/compute.ui b/src/ui/gui/compute.ui
index 4557c6d978..45a39b0975 100644
--- a/src/ui/gui/compute.ui
+++ b/src/ui/gui/compute.ui
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Generated with glade 3.18.3 -->
 <interface>
-  <requires lib="gtk+" version="3.0"/>
+  <requires lib="gtk+" version="3.4.2"/>
   <requires lib="psppire" version="2054.17080"/>
   <object class="GtkAdjustment" id="adjustment1">
     <property name="lower">1</property>
@@ -303,7 +303,8 @@
           </packing>
         </child>
         <child>
-          <object class="PsppireVButtonBox" id="psppire-vbuttonbox1">
+          <object class="PsppireButtonbox" id="psppire-vbuttonbox1">
+            <property name="orientation">vertical</property>
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@@ -691,7 +692,8 @@
               </packing>
             </child>
             <child>
-              <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
+              <object class="PsppireButtonbox" id="psppire-hbuttonbox1">
+                <property name="orientation">horizontal</property>
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>