[gnome-builder] devhelp: tweak titles

[Christian Hergert <chergert src gnome org>]

commit d9e984eff6883e21c30a4938a423607887bf5d90
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 24 01:53:38 2017 -0700

    devhelp: tweak titles
    
    These aren't a whole lot better, but it's better than the empty title.

 plugins/devhelp/gbp-devhelp-menu-button.ui |    2 +-
 plugins/devhelp/gbp-devhelp-view.c         |    1 +
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-menu-button.ui b/plugins/devhelp/gbp-devhelp-menu-button.ui
index fce6654..a2aefbf 100644
--- a/plugins/devhelp/gbp-devhelp-menu-button.ui
+++ b/plugins/devhelp/gbp-devhelp-menu-button.ui
@@ -22,7 +22,7 @@
     <property name="popover">popover</property>
     <child>
       <object class="GtkLabel">
-        <property name="label" translatable="yes">Documentation</property>
+        <property name="label" translatable="yes">Documentation Outline</property>
         <property name="visible">true</property>
         <property name="xalign">0.5</property>
       </object>
diff --git a/plugins/devhelp/gbp-devhelp-view.c b/plugins/devhelp/gbp-devhelp-view.c
index f11640f..1e265e2 100644
--- a/plugins/devhelp/gbp-devhelp-view.c
+++ b/plugins/devhelp/gbp-devhelp-view.c
@@ -203,6 +203,7 @@ gbp_devhelp_view_init (GbpDevhelpView *self)
 
   gtk_widget_init_template (GTK_WIDGET (self));
 
+  ide_layout_view_set_title (IDE_LAYOUT_VIEW (self), _("Documentation"));
   ide_layout_view_set_can_split (IDE_LAYOUT_VIEW (self), TRUE);
   ide_layout_view_set_icon_name (IDE_LAYOUT_VIEW (self), "devhelp-symbolic");
   ide_layout_view_set_menu_id (IDE_LAYOUT_VIEW (self), "devhelp-view-document-menu");