def hide_search_bar(self, menuitem):
"""
Hide the search bar.
"""
self.search_bar.set_visible(False)
# delete last results marker
last_page = search.get_last_result_page()
if last_page > -1:
for page in self.document.pages:
if page.number == int(last_page):
page.widget.delete_search_marker()
search.reset()
def hide_search_bar(self, menuitem):
"""
Hide the search bar.
"""
self.search_bar.set_visible(False)
# delete last results marker
last_page = search.get_last_result_page()
if last_page > -1:
for page in self.document.pages:
if page.number == int(last_page):
page.widget.delete_search_marker()
search.reset()
def reset_search(self, one, two, three, four):
"""
Reset search.
"""
# delete last results marker
self.search_bar.set_visible(True)
self.search_field.modify_fg(0, Gdk.Color(0,0,0))
last_page = search.get_last_result_page()
if last_page > -1:
for page in self.document.pages:
if page.number == int(last_page):
page.widget.delete_search_marker()
search.reset()
def reset_search(self, one, two, three, four):
"""
Reset search.
"""
# delete last results marker
self.search_bar.set_visible(True)
self.search_field.modify_fg(0, Gdk.Color(0, 0, 0))
last_page = search.get_last_result_page()
if last_page > -1:
for page in self.document.pages:
if page.number == int(last_page):
page.widget.delete_search_marker()
search.reset()
