X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foptions.ui;h=746926ff87475657dd20dff24ea08f5d20ff7fda;hb=65d602ed236d685ffec00ad1552a193cf47b2e4d;hp=3a15821edd1c8e1db44dbbaa6691da7cb01f9743;hpb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;p=pspp

diff --git a/src/ui/gui/options.ui b/src/ui/gui/options.ui
index 3a15821edd..746926ff87 100644
--- a/src/ui/gui/options.ui
+++ b/src/ui/gui/options.ui
@@ -17,7 +17,7 @@
 
 <!-- Generated with glade 3.18.3 -->
 <interface>
-  <requires lib="gtk+" version="3.4.2"/>
+  <requires lib="gtk+" version="3.22"/>
   <requires lib="psppire" version="2053.63976"/>
   <object class="PsppireDialog" id="options-dialog">
     <property name="can_focus">False</property>
@@ -235,9 +235,9 @@
             </child>
           </object>
         </child>
-	
+
         <child>
-          <object class="PsppireButtonbox" id="options-buttonbox">
+          <object class="PsppireButtonBox" id="options-buttonbox">
             <property name="orientation">vertical</property>
             <property name="visible">True</property>
             <property name="can_focus">False</property>
@@ -252,9 +252,9 @@
             <property name="position">1</property>
           </packing>
         </child>
-	
+
       </object>
     </child>
-    
+
   </object>
 </interface>