[gnome-builder] editorframe: emit jump-notify upon search.

[Christian Hergert <chergert src gnome org>]

commit ec465ef5e3a6fdcdb1113fdc5cf3c6f725821d96
Author: Christian Hergert <christian hergert me>
Date:   Wed Feb 11 11:11:02 2015 -0800

    editorframe: emit jump-notify upon search.

 src/editor/gb-editor-frame.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-frame.c b/src/editor/gb-editor-frame.c
index 9d13017..4e817fd 100644
--- a/src/editor/gb-editor-frame.c
+++ b/src/editor/gb-editor-frame.c
@@ -207,6 +207,7 @@ gb_editor_frame_match (GbEditorFrame    *self,
   EXIT;
 
 found_match:
+  gb_source_view_jump_notify (priv->source_view);
   gb_source_view_clear_saved_cursor (priv->source_view);
   gtk_text_buffer_select_range (GTK_TEXT_BUFFER (priv->document),
                                 &match_begin, &match_end);