ppo.py 文件源码

def toggle(self, event):
        '''
        Pause/play the animation. Unfortunately I haven't been able to
        figure out how to freeze the animation so that it resumes at the
        same frame it was paused on...

        '''

        if self.pause:
            self.button.label.set_text('Pause')
        else:
            self.button.label.set_text('Play')
        self.pause ^= True