Fix bug rendering margin in output viewer.

[pspp] / src / ui / gui / output-window.ui

diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui
index f89deb10c447951abc076c9b4182bcbcaba6258c..3c9686d566ed657466c76b1aa4c917b42dc3a5b5 100644 (file)
--- a/src/ui/gui/output-window.ui
+++ b/src/ui/gui/output-window.ui
@@ -77,11 +77,6 @@
   </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="GtkBox" id="box1">
         <property name="visible">True</property>
        <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
@@ -132,6 +127,7 @@
                 <child>
                   <object class="GtkLayout" id="output">
                     <property name="visible">True</property>
+                   <property name="border-width">5</property>
                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
                   </object>
                 </child>
@@ -148,6 +144,4 @@
           </packing>
         </child>
       </object>
-    </child>
-  </object>
 </interface>