[gnome-builder/wip/plugins] terminal: add some padding

[Christian Hergert <chergert src gnome org>]

commit 8b60f0977a5bbce528736f58b685b4c7e9e748d0
Author: Christian Hergert <christian hergert me>
Date:   Wed Jun 10 13:43:35 2015 -0700

    terminal: add some padding

 plugins/terminal/gb-terminal-view.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/terminal/gb-terminal-view.ui b/plugins/terminal/gb-terminal-view.ui
index f14a2a6..425bc1a 100644
--- a/plugins/terminal/gb-terminal-view.ui
+++ b/plugins/terminal/gb-terminal-view.ui
@@ -5,6 +5,7 @@
     <property name="visible">true</property>
     <child>
       <object class="GtkBox" id="box">
+        <property name="margin">4</property>
         <property name="expand">true</property>
         <property name="visible">true</property>
         <child>