Пример #1
0
 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()
Пример #2
0
 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()
Пример #3
0
 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()
Пример #4
0
 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()
Пример #5
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))
Пример #6
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))