(self, widget)
return
Jump back to the previous search
Jump back to the previous search
Jump back to the previous search
def prev_search(self, widget):
        """Jump back to the previous search"""
        found_result = self.vte.search_find_previous()
        if not self.wrap.get_active():
            self.prev.set_sensitive(found_result)
        else:
            self.prev.set_sensitive(True)
        self.next.set_sensitive(True)
        return
def prev_search ( self , widget ) : found_result = self . vte . search_find_previous ( ) if not self . wrap . get_active ( ) : self . prev . set_sensitive ( found_result ) else : self . prev . set_sensitive ( True ) self . next . set_sensitive ( True ) return