[recipes] Add margins to chef description in preferences

[Matthias Clasen <matthiasc src gnome org>]

commit 4d8f054e7b56f525d79427c9babc3a7e8c7d783b
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Dec 26 12:31:15 2016 -0500

    Add margins to chef description in preferences
    
    This was lost at some point, it seems.

 src/gr-preferences.ui |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/gr-preferences.ui b/src/gr-preferences.ui
index 605a4fe..e19bfe1 100644
--- a/src/gr-preferences.ui
+++ b/src/gr-preferences.ui
@@ -156,6 +156,10 @@
                           <object class="GtkTextView" id="description">
                             <property name="visible">1</property>
                             <property name="wrap-mode">word</property>
+                            <property name="top-margin">10</property>
+                            <property name="left-margin">10</property>
+                            <property name="right-margin">10</property>
+                            <property name="bottom-margin">10</property>
                           </object>
                         </child>
                       </object>