X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fexamine.ui;h=ac6f104d0009fb728c23d4bbc16cffdcb6148b8a;hb=cfe65232ff4bf28987ff1c1d02c9ec385de3c4af;hp=75ec3d26727f9e56342a6a5d7b7b96028c4055ea;hpb=5e180775fa5a79e6f14b2798bd4a3d4ea9f51939;p=pspp

diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui
index 75ec3d2672..ac6f104d00 100644
--- a/src/ui/gui/examine.ui
+++ b/src/ui/gui/examine.ui
@@ -73,7 +73,7 @@
                     <child>
                       <object class="GtkScrolledWindow" id="scrolledwindow3">
                         <property name="visible">True</property>
-                        <property name="margin-left">12</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="hscrollbar_policy">never</property>
@@ -120,7 +120,7 @@
                     <child>
                       <object class="GtkScrolledWindow" id="scrolledwindow2">
                         <property name="visible">True</property>
-                        <property name="margin-left">12</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="hscrollbar_policy">never</property>