def jump(self, num_frames, show_now=False):
        """Jumps forward or backwards a given number of frames.

        Args:
            num_frames: An integer value of how many frames you'd like this
                animation to jump. A positive value jumps ahead, and a negative
                value jumps back. Note that if you pass a value that's greater
                than the total number of frames, the animation will "roll over"
                to the frame you passed. (For example, telling an animation with
                10 frames to jump 25 frames will make it end up on frame #5).
            show_now: True/False as to whether this new frame should be shown
                immediately. A value of False means that this animation will
                start at this new frame the next time it's played.
        """

        current_frame = self.current_frame
        current_frame += num_frames

        while current_frame > (self.total_frames - 1):
            if self.repeat:
                current_frame -= self.total_frames
            else:
                current_frame = 1 - self.total_frames
                self.playing = False

        self.current_frame = current_frame

        if show_now:
            self.show_frame()
dataset/ETHPy150Open missionpinball/mpf/mpf/media_controller/elements/animation.py/AnimationDisplayElement.jump/swapped operands of `-`