From cfeed356a2c4066efc257449dbc3c386982f819d Mon Sep 17 00:00:00 2001
From: Martin Kretzschmar <martink@src.gnome.org>
Date: Thu, 20 Jan 2005 22:04:37 +0000
Subject: (set_document_page): unset has_selection when the page changes.

---
diff --git a/ChangeLog b/ChangeLog
index c194d8d..b190b63 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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);	
 		}
--
cgit v0.9.1