(self, widget)
return
Search forwards and jump to the next result, if any
Search forwards and jump to the next result, if any
Search forwards and jump to the next result if any
def next_search(self, widget):
        """Search forwards and jump to the next result, if any"""
        found_result = self.vte.search_find_next()
        if not self.wrap.get_active():
            self.next.set_sensitive(found_result)
        else:
            self.next.set_sensitive(True)
        self.prev.set_sensitive(True)
        return
def next_search ( self , widget ) : found_result = self . vte . search_find_next ( ) if not self . wrap . get_active ( ) : self . next . set_sensitive ( found_result ) else : self . next . set_sensitive ( True ) self . prev . set_sensitive ( True ) return