[gnome-builder] symbol-tree: more tweaks to match mockup

[Christian Hergert <chergert src gnome org>]

commit 5637c1223eb9fb049f43d471acf9819f6d05c777
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jul 2 22:44:35 2017 -0700

    symbol-tree: more tweaks to match mockup

 .../symbol-tree/gbp-symbol-layout-stack-addin.c    |    2 +-
 plugins/symbol-tree/gbp-symbol-menu-button.ui      |    2 +-
 plugins/symbol-tree/themes/shared.css              |    1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/plugins/symbol-tree/gbp-symbol-layout-stack-addin.c 
b/plugins/symbol-tree/gbp-symbol-layout-stack-addin.c
index 3aef7b6..f9015ba 100644
--- a/plugins/symbol-tree/gbp-symbol-layout-stack-addin.c
+++ b/plugins/symbol-tree/gbp-symbol-layout-stack-addin.c
@@ -148,7 +148,7 @@ gbp_symbol_layout_stack_addin_bind (GbpSymbolLayoutStackAddin *self,
 
   self->cancellable = g_cancellable_new ();
 
-  gtk_button_set_label (GTK_BUTTON (self->button), _("Symbols"));
+  gtk_button_set_label (GTK_BUTTON (self->button), _("Document Outline"));
 
   symbol_resolver = ide_buffer_get_symbol_resolver (buffer);
   gtk_widget_set_visible (GTK_WIDGET (self->button), symbol_resolver != NULL);
diff --git a/plugins/symbol-tree/gbp-symbol-menu-button.ui b/plugins/symbol-tree/gbp-symbol-menu-button.ui
index 09809ab..e71133f 100644
--- a/plugins/symbol-tree/gbp-symbol-menu-button.ui
+++ b/plugins/symbol-tree/gbp-symbol-menu-button.ui
@@ -54,7 +54,7 @@
     </child>
   </object>
   <template class="GbpSymbolMenuButton" parent="GtkMenuButton">
-    <property name="label">Symbols</property>
+    <property name="label" translatable="yes">Document Outline</property>
     <property name="popover">popover</property>
   </template>
 </interface>
diff --git a/plugins/symbol-tree/themes/shared.css b/plugins/symbol-tree/themes/shared.css
index 80cc1c1..25378b8 100644
--- a/plugins/symbol-tree/themes/shared.css
+++ b/plugins/symbol-tree/themes/shared.css
@@ -7,6 +7,7 @@ popover.symbols-button entry {
 popover.symbols-button treeview {
   -GtkTreeView-expander-size: 0;
   -GtkTreeView-horizontal-separator: 0;
+  -GtkTreeView-vertical-separator: 6;
   -gtk-icon-source: none;
   background: transparent;
   color: @theme_fg_color;