X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Foutput-window.ui;h=3c9686d566ed657466c76b1aa4c917b42dc3a5b5;hb=55178119a1dd305b7e0c3254cf5b6ddf6784e34f;hp=76822d17d88bada97c4aad289e4ab69ce3f83cc1;hpb=778ecd02e7e979d74f990e68ec39dbbcf2c74967;p=pspp

diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui
index 76822d17d8..3c9686d566 100644
--- a/src/ui/gui/output-window.ui
+++ b/src/ui/gui/output-window.ui
@@ -127,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>