[gnome-builder] editor: use scroll_to_mark

[Christian Hergert <chergert src gnome org>]

commit 99bf42a9bc31d2100ebb9b2ad63a9dafe0188bf8
Author: Christian Hergert <christian hergert me>
Date:   Fri Mar 27 17:57:52 2015 -0700

    editor: use scroll_to_mark
    
    It doesn't actually help, because textview is broken. But if it *weren't*
    broken, this would be more proper since the mark can stay around. And
    scroll_offset doesn't matter since we are centering vertically.

 src/editor/gb-editor-view.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/src/editor/gb-editor-view.c b/src/editor/gb-editor-view.c
index b70ad12..0c7de22 100644
--- a/src/editor/gb-editor-view.c
+++ b/src/editor/gb-editor-view.c
@@ -57,6 +57,7 @@ gb_editor_view_navigate_to (GbView            *view,
 {
   GbEditorView *self = (GbEditorView *)view;
   GbEditorFrame *frame;
+  GtkTextMark *insert;
   GtkTextBuffer *buffer;
   GtkTextIter iter;
   guint line;
@@ -79,7 +80,9 @@ gb_editor_view_navigate_to (GbView            *view,
       break;
 
   gtk_text_buffer_select_range (buffer, &iter, &iter);
-  ide_source_view_scroll_to_iter (frame->source_view, &iter, 0.0, TRUE, 1.0, 0.5, TRUE);
+
+  insert = gtk_text_buffer_get_insert (buffer);
+  gtk_text_view_scroll_to_mark (GTK_TEXT_VIEW (frame->source_view), insert, 0.0, TRUE, 1.0, 0.5);
 
   IDE_EXIT;
 }