From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 31 Jan 2016 08:39:24 +0000 (+0100)
Subject: Univariate Dialog: Set margins
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=ab0fd0b2fa08743acffb18006cd3c34c860eb577

Univariate Dialog: Set margins
---

diff --git a/src/ui/gui/univariate.ui b/src/ui/gui/univariate.ui
index fb3efe7e8a..c639ee8ff8 100644
--- a/src/ui/gui/univariate.ui
+++ b/src/ui/gui/univariate.ui
@@ -1,14 +1,14 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Generated with glade 3.18.3 -->
 <interface>
-  <requires lib="gtk+" version="3.4.2"/>
+  <requires lib="gtk+" version="3.4"/>
   <requires lib="psppire" version="2054.17080"/>
   <object class="PsppireDialog" id="save-dialog">
-    <property name="help_page">GLM</property>
     <property name="can_focus">False</property>
     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
     <property name="title" translatable="yes">Univariate: Save</property>
     <property name="modal">True</property>
+    <property name="help_page">GLM</property>
     <child>
       <object class="GtkBox" id="dialog-hbox2">
         <property name="visible">True</property>
@@ -165,6 +165,10 @@
         <property name="visible">True</property>
         <property name="can_focus">False</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_left">5</property>
+        <property name="margin_right">5</property>
+        <property name="margin_top">5</property>
+        <property name="margin_bottom">5</property>
         <property name="spacing">2</property>
         <child>
           <object class="GtkGrid" id="table1">
@@ -246,9 +250,9 @@
                 <property name="shadow_type">none</property>
                 <child>
                   <object class="GtkEntry" id="dep-entry">
-                    <property name="margin-start">12</property>
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
+                    <property name="margin_start">12</property>
                     <property name="invisible_char">●</property>
                   </object>
                 </child>
@@ -280,9 +284,9 @@
                 <child>
                   <object class="GtkScrolledWindow" id="scrolledwindow2">
                     <property name="visible">True</property>
-                    <property name="margin-start">12</property>
                     <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="hscrollbar_policy">never</property>
                     <property name="shadow_type">etched-in</property>
                     <child>