X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ftext-data-import.ui;h=e7ee2d369c370709d78a2e6289e310af495c282b;hb=8e8974b36227637b2ee2317ec114c369667ab7c0;hp=1cc4a9a44e7803e02f6810ce8ac6020b466b8859;hpb=340363a203a7f6ddaac411c82841b3328caaf0da;p=pspp

diff --git a/src/ui/gui/text-data-import.ui b/src/ui/gui/text-data-import.ui
index 1cc4a9a44e..e7ee2d369c 100644
--- a/src/ui/gui/text-data-import.ui
+++ b/src/ui/gui/text-data-import.ui
@@ -77,6 +77,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>
@@ -90,6 +91,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>
@@ -117,6 +119,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>