diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-04 12:18:26 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-04 12:18:26 (GMT) |
commit | 1cb865554fcb40760784a30c7700b6a751567762 (patch) | |
tree | 38864ca275068726b29186065f5546ae5a8dd267 /shell/ev-window.c | |
parent | 826131fb75fadb602b375ba29e593d1e0ab3dde8 (diff) |
Fix several bugs with find
2005-02-04 Marco Pesenti Gritti <marco@gnome.org>
* backend/ev-document-find.c: (ev_document_find_changed):
* backend/ev-document-find.h:
* pdf/xpdf/pdf-document.cc:
* shell/ev-view.c: (jump_to_find_result), (ev_view_set_document):
* shell/ev-window.c: (find_bar_search_changed_cb):
Fix several bugs with find
Diffstat (limited to 'shell/ev-window.c')
-rw-r--r-- | shell/ev-window.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/ev-window.c b/shell/ev-window.c index 01c4f8a..368919a 100644 --- a/shell/ev-window.c +++ b/shell/ev-window.c @@ -1384,6 +1384,7 @@ find_bar_search_changed_cb (EggFindBar *find_bar, ev_document_find_cancel (EV_DOCUMENT_FIND (ev_window->priv->document)); egg_find_bar_set_status_text (EGG_FIND_BAR (ev_window->priv->find_bar), NULL); + gtk_widget_queue_draw (GTK_WIDGET (ev_window->priv->view)); } } } |