Merge remote-tracking branch 'origin/sheet'

[pspp] / src / ui / gui / text-data-import.ui

diff --git a/src/ui/gui/text-data-import.ui b/src/ui/gui/text-data-import.ui
index 14c2bed0ed0272068cd3ac50a5a083eef72980da..86e6f39906e27603569e501cb0f33edca4e6ccda 100644 (file)
--- a/src/ui/gui/text-data-import.ui
+++ b/src/ui/gui/text-data-import.ui
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <!-- PSPP - a program for statistical analysis. -->
 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
 
@@ -14,7 +15,6 @@
 <!-- You should have received a copy of the GNU General Public License -->
 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
 
-<?xml version="1.0" encoding="UTF-8"?>
 <!-- Generated with glade 3.18.3 -->
 <interface>
   <requires lib="gtk+" version="3.4.2"/>
@@ -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>