X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=76822d17d88bada97c4aad289e4ab69ce3f83cc1;hb=a232eb40325b126daabcdf28ca54da794bd6a29f;hp=a9b7702e5b6a62b933736cb2dae17290f1aa18da;hpb=a0a7eb746b634d7d6c0ac3a8827e960a45c26179;p=pspp

diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui
index a9b7702e5b..76822d17d8 100644
--- a/src/ui/gui/output-window.ui
+++ b/src/ui/gui/output-window.ui
@@ -77,13 +77,9 @@
   </object>
   <!-- interface-requires gtk+ 2.16 -->
   <!-- interface-naming-policy toplevel-contextual -->
-  <object class="GtkWindow" id="output-viewer-window">
-    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-    <property name="default_width">600</property>
-    <property name="default_height">400</property>
-    <child>
-      <object class="GtkVBox" id="vbox1">
+      <object class="GtkBox" id="box1">
         <property name="visible">True</property>
+	<property name="orientation">GTK_ORIENTATION_VERTICAL</property>
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
         <child>
           <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
@@ -96,8 +92,9 @@
           </packing>
         </child>
         <child>
-          <object class="GtkHPaned" id="hpaned1">
+          <object class="GtkPaned" id="paned1">
             <property name="visible">True</property>
+	    <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
             <property name="can_focus">True</property>
             <property name="position">112</property>
             <property name="position_set">True</property>
@@ -142,9 +139,8 @@
           </object>
           <packing>
             <property name="position">1</property>
+	    <property name="expand">True</property>
           </packing>
         </child>
       </object>
-    </child>
-  </object>
 </interface>