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 6cea9869a78e64ec32e222498b0768e5f5e0b1ae..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>