public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-01 00:48:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add show_progress and skip options to checkpoint_paste

Browse source
This commit is contained in:
Grant Sanderson 2022-12-18 11:21:57 -08:00
parent af471161ea
commit 3e4b6a7fb0
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
manimlib/scene/scene.py
View file

@ -206,7 +206,7 @@ class Scene(object):
# As long as the copied selection starts with a comment, # As long as the copied selection starts with a comment,
# this will revert to the state of the scene at the first # this will revert to the state of the scene at the first
# point of running. # point of running.
def checkpoint_paste(quiet=True): def checkpoint_paste(quiet=True, show_progress=True, skip=False):
pasted = pyperclip.paste() pasted = pyperclip.paste()
line0 = pasted.lstrip().split("\n")[0] line0 = pasted.lstrip().split("\n")[0]
if line0.startswith("#"): if line0.startswith("#"):
@ -215,8 +215,17 @@ class Scene(object):
else: else:
self.revert_to_checkpoint(line0) self.revert_to_checkpoint(line0)
self.update_frame(dt=0) self.update_frame(dt=0)
prev_show_progress = self.show_animation_progress
prev_skipping = self.skip_animations
self.show_animation_progress = show_progress
self.skip_animations = skip
shell.run_line_magic("paste", "-q" if quiet else "") shell.run_line_magic("paste", "-q" if quiet else "")
self.show_animation_progress = prev_show_progress
self.skip_animations = prev_skipping
local_ns['checkpoint_paste'] = checkpoint_paste local_ns['checkpoint_paste'] = checkpoint_paste
# Enables gui interactions during the embed # Enables gui interactions during the embed