gui: Mark print_startup_time() unused to avoid warning.

[pspp] / src / ui / gui / goto-case.ui

diff --git a/src/ui/gui/goto-case.ui b/src/ui/gui/goto-case.ui
index 48fb6e4502fd51b3f4fc89758e3d876c18b3fb90..e9bf32009ca221aa7a59d1e01a35cbda49b2e4e4 100644 (file)
--- a/src/ui/gui/goto-case.ui
+++ b/src/ui/gui/goto-case.ui
@@ -7,8 +7,7 @@
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     <property name="title" translatable="yes">Goto Case</property>
     <property name="modal">True</property>
-    <property name="orientation">Vertical</property>
-    <child internal-child="hbox">
+    <child>
       <object class="GtkVBox" id="dialog-hbox8">
         <property name="visible">True</property>
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
@@ -35,6 +34,7 @@
                <property name="adjustment">adjustment1</property>
                 <property name="can_focus">True</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+               <property name="activates-default">True</property>
               </object>
               <packing>
                 <property name="position">1</property>
@@ -54,6 +54,7 @@
             <property name="border_width">5</property>
             <property name="layout_style">spread</property>
             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
+            <property name="default">PSPPIRE_BUTTON_GOTO_MASK</property>
           </object>
           <packing>
             <property name="expand">False</property>