From 206eff4adaf2c2b577d7074224b76be695c99f52 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 24 Sep 2007 03:24:52 +0000
Subject: [PATCH] Add search events to history

---
 src/libprs500/gui2/lrf_renderer/document.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/libprs500/gui2/lrf_renderer/document.py b/src/libprs500/gui2/lrf_renderer/document.py
index 2fe4533d20..0f806af2bf 100644
--- a/src/libprs500/gui2/lrf_renderer/document.py
+++ b/src/libprs500/gui2/lrf_renderer/document.py
@@ -534,5 +534,7 @@ class Document(QGraphicsScene):
         page_num = self.last_search.next()[0]
         if self.current_page == page_num:
             self.update()
-        self.show_page(page_num)
+        else:
+            self.add_to_history()
+            self.show_page(page_num)
         
\ No newline at end of file