[gnome-builder] editor: add padding to warning button

[Christian Hergert <chergert src gnome org>]

commit e14da5aa664b07f8c494c2f47da06786d6dbec2d
Author: Christian Hergert <christian hergert me>
Date:   Mon Mar 7 16:57:28 2016 -0800

    editor: add padding to warning button
    
    This was a little off due to all the styling changes.

 data/ui/ide-editor-view.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/ide-editor-view.ui b/data/ui/ide-editor-view.ui
index 8f4c5d3..1bd4e73 100644
--- a/data/ui/ide-editor-view.ui
+++ b/data/ui/ide-editor-view.ui
@@ -89,6 +89,8 @@
           <object class="GtkBox">
             <child>
               <object class="GtkButton" id="warning_button">
+                <property name="margin-start">6</property>
+                <property name="margin-end">6</property>
                 <property name="visible">false</property>
                 <child>
                   <object class="GtkImage">