[gnome-applets] window-picker: Replace margin by border to fix transparent background issue

[Sebastian Geiger <segeiger src gnome org>]

commit 7a5e0a718cd4456894fdaf8f3a446256f9e1bcaf
Author: Sebastian Geiger <sbastig gmx net>
Date:   Tue Jul 14 11:39:07 2015 +0200

    window-picker: Replace margin by border to fix transparent background issue
    
    With the margin settings on the dialog, the background of the preferences dialog was
    transparent at the bottom and the right side.

 windowpicker/src/wp-preferences-dialog.ui |    5 +----
 1 files changed, 1 insertions(+), 4 deletions(-)
---
diff --git a/windowpicker/src/wp-preferences-dialog.ui b/windowpicker/src/wp-preferences-dialog.ui
index d745841..c43d140 100644
--- a/windowpicker/src/wp-preferences-dialog.ui
+++ b/windowpicker/src/wp-preferences-dialog.ui
@@ -4,10 +4,7 @@
   <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="border_width">10</property>
     <property name="type_hint">dialog</property>
     <child internal-child="vbox">
       <object class="GtkBox" id="dialog-vbox1">