Add search events to history

This commit is contained in:
Kovid Goyal 2007-09-24 03:24:52 +00:00
parent fbb3be46df
commit 206eff4ada

View File

@ -534,5 +534,7 @@ class Document(QGraphicsScene):
page_num = self.last_search.next()[0] page_num = self.last_search.next()[0]
if self.current_page == page_num: if self.current_page == page_num:
self.update() self.update()
else:
self.add_to_history()
self.show_page(page_num) self.show_page(page_num)