[gtk+] inspector: Make the window smaller

[Matthias Clasen <matthiasc src gnome org>]

commit 3715fec02d916f4a75aea1b03eb5e791d469035a
Author: Matthias Clasen <mclasen redhat com>
Date:   Sat Oct 11 08:01:57 2014 -0400

    inspector: Make the window smaller
    
    No need for 1000 pixels of with anymore, after the reorg.

 gtk/inspector/window.ui |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/gtk/inspector/window.ui b/gtk/inspector/window.ui
index e8f47ea..c3f48df 100644
--- a/gtk/inspector/window.ui
+++ b/gtk/inspector/window.ui
@@ -2,7 +2,7 @@
 <interface domain="gtk30">
   <template class="GtkInspectorWindow" parent="GtkWindow">
     <property name="default-height">500</property>
-    <property name="default-width">1000</property>
+    <property name="default-width">800</property>
     <property name="icon">resource:///org/gtk/inspector/logo.png</property>
     <child type="titlebar">
       <object class="GtkHeaderBar">
@@ -75,6 +75,8 @@
         <child type="title">
           <object class="GtkStackSwitcher">
             <property name="visible">True</property>
+            <property name="margin-start">6</property>
+            <property name="margin-end">6</property>
             <property name="stack">top_stack</property>
           </object>
         </child>