[gedit/gnome-3-10] ViewFrame: delete start_mark when the search box is hidden

[Sébastien Wilmet <swilmet src gnome org>]

commit 58a229f6ca30e6a21f0dbb771324eb68365c7f0c
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Jan 14 22:20:09 2014 +0100

    ViewFrame: delete start_mark when the search box is hidden
    
    When the search box is hidden, the search may not be finished. If the
    search highlighting is still enabled, when the search is finished, the
    callback must not use the start_mark to move the cursor, because the
    user is maybe editing or looking at some text elsewhere.

 gedit/gedit-view-frame.c |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-view-frame.c b/gedit/gedit-view-frame.c
index e7ee65c..2ac109d 100644
--- a/gedit/gedit-view-frame.c
+++ b/gedit/gedit-view-frame.c
@@ -211,6 +211,12 @@ hide_search_widget (GeditViewFrame *frame,
                gedit_view_scroll_to_cursor (frame->priv->view);
        }
 
+       if (frame->priv->start_mark != NULL)
+       {
+               gtk_text_buffer_delete_mark (buffer, frame->priv->start_mark);
+               frame->priv->start_mark = NULL;
+       }
+
        gtk_widget_grab_focus (GTK_WIDGET (frame->priv->view));
 }