[gnome-builder] settings: play with alignment a bit



commit 6ab80c248f01bb1a6a60323c25b093f9d9567c8c
Author: Christian Hergert <christian hergert me>
Date:   Thu Dec 11 13:47:57 2014 -0800

    settings: play with alignment a bit

 src/resources/ui/gb-preferences-page-editor.ui |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/src/resources/ui/gb-preferences-page-editor.ui b/src/resources/ui/gb-preferences-page-editor.ui
index 708174d..32af755 100644
--- a/src/resources/ui/gb-preferences-page-editor.ui
+++ b/src/resources/ui/gb-preferences-page-editor.ui
@@ -6,13 +6,12 @@
       <object class="GtkBox">
         <property name="visible">true</property>
         <property name="orientation">vertical</property>
-        <property name="spacing">6</property>
+        <property name="spacing">12</property>
         <child>
           <object class="GtkGrid" id="grid1">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
             <property name="hexpand">True</property>
-            <property name="border_width">12</property>
             <property name="row_spacing">12</property>
             <property name="column_spacing">12</property>
             <child>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]