X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fgoto-case.ui;h=1a48ec260bd671f5c8cb5e16ab42eccdb3e5ad02;hb=7e7f78374d9df2b7fa16306b5d78e6bfc9ef40df;hp=30868fbf9c6135e3579dfcf380601923fc6a82e3;hpb=8910208191f730dceee0d60d07d3702c9e3bdca8;p=pspp

diff --git a/src/ui/gui/goto-case.ui b/src/ui/gui/goto-case.ui
index 30868fbf9c..1a48ec260b 100644
--- a/src/ui/gui/goto-case.ui
+++ b/src/ui/gui/goto-case.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>
@@ -64,7 +64,8 @@
           </packing>
         </child>
         <child>
-          <object class="PsppireHButtonBox" id="psppire-hbuttonbox5">
+          <object class="PsppireButtonbox" id="psppire-hbuttonbox5">
+            <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>