[gnome-builder] GbTerminalView: remove unwanted margin

[Sebastien Lafargue <slafargue src gnome org>]

commit 84aadee33799d5a07ddb4a08d28c2b8813ca7ee8
Author: Sébastien Lafargue <slafargue gnome org>
Date:   Sun Jun 28 09:59:05 2015 +0200

    GbTerminalView: remove unwanted margin
    
    We also remove an unused GtkBox

 plugins/terminal/gb-terminal-view.ui |   13 +++----------
 1 files changed, 3 insertions(+), 10 deletions(-)
---
diff --git a/plugins/terminal/gb-terminal-view.ui b/plugins/terminal/gb-terminal-view.ui
index 2847a40..bbc89f0 100644
--- a/plugins/terminal/gb-terminal-view.ui
+++ b/plugins/terminal/gb-terminal-view.ui
@@ -4,21 +4,14 @@
   <template class="GbTerminalView" parent="GbView">
     <property name="visible">true</property>
     <child>
-      <object class="GtkBox" id="box">
-        <property name="margin">4</property>
+      <object class="GtkScrolledWindow" id="scrolled_window">
         <property name="expand">true</property>
         <property name="visible">true</property>
         <child>
-          <object class="GtkScrolledWindow" id="scrolled_window">
+          <object class="VteTerminal" id="terminal">
+            <property name="audible-bell">false</property>
             <property name="expand">true</property>
             <property name="visible">true</property>
-            <child>
-              <object class="VteTerminal" id="terminal">
-                <property name="audible-bell">false</property>
-                <property name="expand">true</property>
-                <property name="visible">true</property>
-              </object>
-            </child>
           </object>
         </child>
       </object>