X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fcomments.ui;h=fcd2f45f0952ee5106cb6fcbe41efffac2638628;hb=a2ea08983feb7add4ca8812a64ac1334c3ad5c4e;hp=b5a94a7f09ee7338977ac2290e69b2162ce311e4;hpb=f6cfbf662295510a1d8aaac3a413ed541f6e6603;p=pspp

diff --git a/src/ui/gui/comments.ui b/src/ui/gui/comments.ui
index b5a94a7f09..fcd2f45f09 100644
--- a/src/ui/gui/comments.ui
+++ b/src/ui/gui/comments.ui
@@ -14,14 +14,10 @@
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
         <property name="spacing">2</property>
         <child>
-          <object class="GtkAlignment" id="alignment7">
-            <property name="visible">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="left_padding">5</property>
-            <property name="right_padding">5</property>
-            <child>
               <object class="GtkVBox" id="vbox9">
                 <property name="visible">True</property>
+		<property name="margin-start">5</property>
+		<property name="margin-end">5</property>
                 <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>
                 <child>
@@ -55,8 +51,6 @@
                   <packing>
                     <property name="position">1</property>
                   </packing>
-                </child>
-              </object>
             </child>
           </object>
           <packing>