X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ftext-data-import.ui;h=86e6f39906e27603569e501cb0f33edca4e6ccda;hb=5dbf5abcbed01f04422d4dead1c0ae0bb7efde4f;hp=0b40468ef1e2300df2aa00654fb84caed84e7e90;hpb=22b0595b354a0cf111e4ea8b14494be25d8c29ee;p=pspp

diff --git a/src/ui/gui/text-data-import.ui b/src/ui/gui/text-data-import.ui
index 0b40468ef1..86e6f39906 100644
--- a/src/ui/gui/text-data-import.ui
+++ b/src/ui/gui/text-data-import.ui
@@ -93,6 +93,7 @@
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
         <property name="orientation">vertical</property>
         <property name="position">94</property>
+	<property name="wide-handle">True</property>
         <child>
           <object class="GtkFrame" id="frame4">
             <property name="visible">True</property>
@@ -106,6 +107,7 @@
                 <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="margin_start">12</property>
+		<property name="margin-bottom">12</property>
                 <child>
                   <placeholder/>
                 </child>
@@ -133,6 +135,7 @@
             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
             <property name="label_xalign">0</property>
             <property name="shadow_type">none</property>
+            <property name="margin_top">12</property>
             <child>
               <object class="GtkScrolledWindow" id="data-scroller">
                 <property name="visible">True</property>