From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 4 Dec 2015 11:58:22 +0000 (+0100)
Subject: Comment Dialog: Remove GtkAlignment
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2ea08983feb7add4ca8812a64ac1334c3ad5c4e;hp=f6cfbf662295510a1d8aaac3a413ed541f6e6603;p=pspp

Comment Dialog: Remove GtkAlignment
---

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>