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=c7db015cdd7470334adafd940eda792c07a46126;hp=3d476e8fda47c412547ca2853c461ba4ca4e59e6;hpb=b6493cbb201307a2a5d1ff840a8347d75548cb85;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">