public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

No need to track ReloadManager.start_at_line

Browse source
This commit is contained in:
Grant Sanderson 2024-12-09 16:43:08 -06:00
parent 88bae476ce
commit dd508b8cfc
1 changed files with 10 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
manimlib/reload_manager.py
View file

@ -27,10 +27,6 @@ class ReloadManager:
scenes: list[Any] = [] scenes: list[Any] = []
window = None window = None
# The line number to load the scene from when reloading
start_at_line = None
is_reload = False is_reload = False
def __init__(self, cli_args: Namespace): def __init__(self, cli_args: Namespace):
@ -40,7 +36,7 @@ class ReloadManager:
""" """
Sets/Updates the line number to load the scene from when reloading. Sets/Updates the line number to load the scene from when reloading.
""" """
self.start_at_line = start_at_line self.args.embed = str(start_at_line)
def run(self): def run(self):
""" """
@ -58,18 +54,22 @@ class ReloadManager:
scene.tear_down() scene.tear_down()
self.scenes = [] self.scenes = []
self.is_reload = True self.note_reload()
except KeyboardInterrupt: except KeyboardInterrupt:
break break
def note_reload(self):
self.is_reload = True
print(" ".join([
"Reloading interactive session for",
f"\033[96m{self.args.scene_names[0]}\033[0m",
f"at line \033[96m{self.args.embed}\033[0m"
]))
def retrieve_scenes_and_run(self): def retrieve_scenes_and_run(self):
""" """
Creates a new configuration based on the CLI args and runs the scenes. Creates a new configuration based on the CLI args and runs the scenes.
""" """
if self.start_at_line is not None:
self.args.embed = str(self.start_at_line)
# Args to Config # Args to Config
scene_config = manimlib.config.get_scene_config(self.args) scene_config = manimlib.config.get_scene_config(self.args)
scene_config.update(reload_manager=self) scene_config.update(reload_manager=self)
@ -86,13 +86,6 @@ class ReloadManager:
self.scenes = manimlib.extract_scene.main(scene_config, run_config) self.scenes = manimlib.extract_scene.main(scene_config, run_config)
if len(self.scenes) == 0: if len(self.scenes) == 0:
print("No scenes found to run") print("No scenes found to run")
return
for scene in self.scenes: for scene in self.scenes:
if self.args.embed and self.is_reload:
print(" ".join([
"Reloading interactive session for",
f"\033[96m{self.args.scene_names[0]}\033[0m",
f"at line \033[96m{self.args.embed}\033[0m"
]))
scene.run() scene.run()