[gnome-builder] editor: scroll to new row before selecting it

[Christian Hergert <chergert src gnome org>]

commit 843c4bee41a1a450707c1e6e60403e171ad65ab1
Author: Christian Hergert <christian hergert me>
Date:   Thu Apr 23 18:17:30 2015 -0700

    editor: scroll to new row before selecting it

 src/editor/gb-editor-workspace.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-workspace.c b/src/editor/gb-editor-workspace.c
index 605586e..cf3482c 100644
--- a/src/editor/gb-editor-workspace.c
+++ b/src/editor/gb-editor-workspace.c
@@ -458,6 +458,7 @@ gb_editor_workspace_reveal_file (GbEditorWorkspace *self,
   if (node != NULL)
     {
       gb_tree_expand_to_node (GB_TREE (self->project_tree), node);
+      gb_tree_scroll_to_node (GB_TREE (self->project_tree), node);
       gb_tree_node_select (node);
     }
 }