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()
def search_document(self, menuitem): """ Search document """ # 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() result_page, result_pos = search.search(self.search_field.get_text()) if result_page > -1: self.statusbar_pagenum_entry.set_text(str(result_page+1)) for page in self.document.pages: if page.number == int(result_page): page.widget.draw_search_marker(result_pos) self.vadjustment.set_value(page.widget.get_allocation().y + page.widget.widget_height * (page.height-result_pos.y2) / page.height) self.hadjustment.set_value(page.widget.widget_width * result_pos.x1 / page.width) else: self.search_field.modify_fg(0,Gdk.Color(65535,0,0))
def search_document(self, menuitem): """ Search document """ # 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() result_page, result_pos = search.search(self.search_field.get_text()) if result_page > -1: self.statusbar_pagenum_entry.set_text(str(result_page + 1)) for page in self.document.pages: if page.number == int(result_page): page.widget.draw_search_marker(result_pos) self.vadjustment.set_value(page.widget.get_allocation().y + page.widget.widget_height * (page.height - result_pos.y2) / page.height) self.hadjustment.set_value(page.widget.widget_width * result_pos.x1 / page.width) else: self.search_field.modify_fg(0, Gdk.Color(65535, 0, 0))