[gnome-builder] editor: save insert mark after jumping to symbol

[Christian Hergert <chergert src gnome org>]

commit e8ad923831d03d84840f6affee4c3e769db560f6
Author: Christian Hergert <christian hergert me>
Date:   Sun Mar 29 13:38:13 2015 -0700

    editor: save insert mark after jumping to symbol

 src/editor/gb-editor-view.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-view.c b/src/editor/gb-editor-view.c
index fab9b9d..6012961 100644
--- a/src/editor/gb-editor-view.c
+++ b/src/editor/gb-editor-view.c
@@ -88,6 +88,8 @@ gb_editor_view_navigate_to (GbView            *view,
   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);
 
+  g_signal_emit_by_name (frame->source_view, "save-insert-mark");
+
   IDE_EXIT;
 }