[gnome-builder] editor: set title for editor view

[Christian Hergert <chergert src gnome org>]

commit 289d2f2c2639c9792d96d71076aa1ac82fa41e04
Author: Christian Hergert <chergert redhat com>
Date:   Tue Nov 24 02:18:50 2015 -0800

    editor: set title for editor view

 libide/editor/ide-editor-view.c |   14 ++++++++++++++
 1 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/libide/editor/ide-editor-view.c b/libide/editor/ide-editor-view.c
index f22a397..2d0d631 100644
--- a/libide/editor/ide-editor-view.c
+++ b/libide/editor/ide-editor-view.c
@@ -747,6 +747,19 @@ ide_editor_view_constructed (GObject *object)
                               self);
 }
 
+static const gchar *
+ide_editor_view_get_title (IdeLayoutView *view)
+{
+  IdeEditorView *self = (IdeEditorView *)view;
+
+  g_assert (IDE_IS_EDITOR_VIEW (self));
+
+  if (self->document)
+    return ide_buffer_get_title (self->document);
+
+  return NULL;
+}
+
 static void
 ide_editor_view_destroy (GtkWidget *widget)
 {
@@ -831,6 +844,7 @@ ide_editor_view_class_init (IdeEditorViewClass *klass)
   view_class->set_split_view = ide_editor_view_set_split_view;
   view_class->set_back_forward_list = ide_editor_view_set_back_forward_list;
   view_class->navigate_to = ide_editor_view_navigate_to;
+  view_class->get_title = ide_editor_view_get_title;
 
   properties [PROP_DOCUMENT] =
     g_param_spec_object ("document",