diff options
author | Martin Kretzschmar <martink@src.gnome.org> | 2005-01-20 22:04:37 (GMT) |
---|---|---|
committer | Martin Kretzschmar <martink@src.gnome.org> | 2005-01-20 22:04:37 (GMT) |
commit | cfeed356a2c4066efc257449dbc3c386982f819d (patch) | |
tree | 8d22c79d012479c7cdd6753ca0c7869cf474c105 | |
parent | 2af881bd90a35b4f1343b027ba7c3c0464930fb1 (diff) |
(set_document_page): unset has_selection when the page changes.
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | shell/ev-view.c | 1 |
2 files changed, 6 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2005-01-20 Martin Kretzschmar <martink@gnome.org> + + * shell/ev-view.c (set_document_page): unset has_selection when + the page changes. + 2005-01-20 Marco Pesenti Gritti <marco@gnome.org> * shell/ev-view.c: (ev_view_size_request), (ev_view_realize), diff --git a/shell/ev-view.c b/shell/ev-view.c index 2ff80f1..b10790d 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -1111,6 +1111,7 @@ set_document_page (EvView *view, int page) if (old_page != ev_document_get_page (view->document)) { g_signal_emit (view, page_changed_signal, 0); + view->has_selection = FALSE; view->find_percent_complete = 0.0; update_find_results (view); } |