[gnome-builder/wip/plugins] prefs: fix border-width in theme page

[Christian Hergert <chergert src gnome org>]

commit dc190e99a56464aa0ce114e9fd10adbae6e9114c
Author: Christian Hergert <christian hergert me>
Date:   Fri Jun 12 11:54:12 2015 -0700

    prefs: fix border-width in theme page

 data/ui/gb-preferences-page-theme.ui |    1 +
 data/ui/gb-preferences-window.ui     |    1 -
 2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/gb-preferences-page-theme.ui b/data/ui/gb-preferences-page-theme.ui
index c6603d6..7f879e2 100644
--- a/data/ui/gb-preferences-page-theme.ui
+++ b/data/ui/gb-preferences-page-theme.ui
@@ -9,6 +9,7 @@
         <property name="hscrollbar-policy">never</property>
         <child>
           <object class="GtkBox">
+            <property name="border-width">12</property>
             <property name="visible">true</property>
             <property name="orientation">vertical</property>
             <property name="spacing">6</property>
diff --git a/data/ui/gb-preferences-window.ui b/data/ui/gb-preferences-window.ui
index 027739b..dc0c823 100644
--- a/data/ui/gb-preferences-window.ui
+++ b/data/ui/gb-preferences-window.ui
@@ -157,7 +157,6 @@
             <child>
               <object class="GbPreferencesPageTheme" id="theme_page">
                 <property name="visible">True</property>
-                <property name="border_width">12</property>
               </object>
               <packing>
                 <property name="name">theme</property>