[gnome-applets] window-picker: adjust margins in preferences dialog

[Sebastian Geiger <segeiger src gnome org>]

commit 81cb25add79382925e981d4f2210c89a03b1fe48
Author: Sebastian Geiger <sbastig gmx net>
Date:   Tue Jul 14 01:53:37 2015 +0200

    window-picker: adjust margins in preferences dialog

 windowpicker/src/wp-preferences-dialog.ui |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/windowpicker/src/wp-preferences-dialog.ui b/windowpicker/src/wp-preferences-dialog.ui
index 1f59b20..d745841 100644
--- a/windowpicker/src/wp-preferences-dialog.ui
+++ b/windowpicker/src/wp-preferences-dialog.ui
@@ -4,6 +4,10 @@
   <requires lib="gtk+" version="3.16"/>
   <template class="WpPreferencesDialog" parent="GtkDialog">
     <property name="can_focus">False</property>
+    <property name="margin_left">10</property>
+    <property name="margin_right">10</property>
+    <property name="margin_top">10</property>
+    <property name="margin_bottom">10</property>
     <property name="type_hint">dialog</property>
     <child internal-child="vbox">
       <object class="GtkBox" id="dialog-vbox1">
@@ -42,7 +46,8 @@
           <object class="GtkBox" id="box_options">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
-            <property name="margin_top">10</property>
+            <property name="margin_left">10</property>
+            <property name="margin_right">10</property>
             <property name="margin_bottom">10</property>
             <property name="hexpand">True</property>
             <property name="vexpand">True</property>