X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fvar-type-dialog.ui;h=ef5610298ab375832b567d5c9df8304a4a1f5e2a;hb=04b3676d28e8c535e02a61fe904a91cd5d434e0b;hp=3d476e8fda47c412547ca2853c461ba4ca4e59e6;hpb=40ee36862ec6b2afc13acb297b9cf5663d76cec5;p=pspp

diff --git a/src/ui/gui/var-type-dialog.ui b/src/ui/gui/var-type-dialog.ui
index 3d476e8fda..ef5610298a 100644
--- a/src/ui/gui/var-type-dialog.ui
+++ b/src/ui/gui/var-type-dialog.ui
@@ -212,13 +212,10 @@
                 <property name="visible">True</property>
                 <property name="label_xalign">0</property>
                 <child>
-                  <object class="GtkAlignment" id="alignment2">
-                    <property name="visible">True</property>
-                    <property name="left_padding">12</property>
-                    <child>
                       <object class="GtkVBox" id="vbox10">
                         <property name="visible">True</property>
                         <property name="orientation">vertical</property>
+			<property name="margin-start">12</property>
                         <property name="homogeneous">True</property>
                         <child>
                           <object class="GtkLabel" id="psample_label">
@@ -239,8 +236,6 @@
                           </packing>
                         </child>
                       </object>
-                    </child>
-                  </object>
                 </child>
                 <child type="label">
                   <object class="GtkLabel" id="label13">