[gnome-builder/wip/libide: 83/237] editorframe: emit jump-notify upon search.

[Christian Hergert <chergert src gnome org>]

commit 1cecab121be0e38af6935314058f2e55eeb7e9b9
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);