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 /shell | |
parent | 2af881bd90a35b4f1343b027ba7c3c0464930fb1 (diff) |
(set_document_page): unset has_selection when the page changes.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-view.c | 1 |
1 files changed, 1 insertions, 0 deletions
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); } |