[evince] Do not update the history while searching

[Carlos Garcia Campos <carlosgc src gnome org>]

commit 0cb1d82f4570a2aab4c11a079ad860c83a0c6e64
Author: Carlos Garcia Campos <carlosgc gnome org>
Date:   Sat Apr 20 17:40:21 2013 +0200

    Do not update the history while searching
    
    The history can focus the web view which closes the find bar while still
    searching.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697194

 shell/ev-window.c | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/shell/ev-window.c b/shell/ev-window.c
index 626aebc..a539f58 100644
--- a/shell/ev-window.c
+++ b/shell/ev-window.c
@@ -5411,6 +5411,8 @@ ev_window_show_find_bar (EvWindow *ev_window)
        if (EV_WINDOW_IS_PRESENTATION (ev_window))
                return;
 
+       ev_history_freeze (ev_window->priv->history);
+
        update_chrome_flag (ev_window, EV_CHROME_FINDBAR, TRUE);
        update_chrome_visibility (ev_window);
        gtk_widget_grab_focus (ev_window->priv->find_bar);
@@ -5429,6 +5431,8 @@ ev_window_close_find_bar (EvWindow *ev_window)
        update_chrome_visibility (ev_window);
        gtk_widget_grab_focus (ev_window->priv->view);
        update_toggle_find_action (ev_window, FALSE);
+
+       ev_history_thaw (ev_window->priv->history);
 }
 
 static void