mirror of
https://github.com/3b1b/manim.git
synced 2025-08-05 16:49:03 +00:00
Remove args from ReloadManager
This commit is contained in:
parent
c61e0bcee5
commit
667cfaf160
1 changed files with 1 additions and 8 deletions
|
@ -29,9 +29,6 @@ class ReloadManager:
|
||||||
is_reload = False
|
is_reload = False
|
||||||
embed_line = None
|
embed_line = None
|
||||||
|
|
||||||
def __init__(self, cli_args: Namespace):
|
|
||||||
self.args = cli_args
|
|
||||||
|
|
||||||
def set_new_start_at_line(self, start_at_line):
|
def set_new_start_at_line(self, start_at_line):
|
||||||
"""
|
"""
|
||||||
Sets/Updates the line number to load the scene from when reloading.
|
Sets/Updates the line number to load the scene from when reloading.
|
||||||
|
@ -56,11 +53,7 @@ class ReloadManager:
|
||||||
|
|
||||||
def note_reload(self):
|
def note_reload(self):
|
||||||
self.is_reload = True
|
self.is_reload = True
|
||||||
print(" ".join([
|
print("Reloading...")
|
||||||
"Reloading interactive session for",
|
|
||||||
f"\033[96m{self.args.scene_names[0]}\033[0m",
|
|
||||||
f"at line \033[96m{self.embed_line}\033[0m"
|
|
||||||
]))
|
|
||||||
|
|
||||||
def retrieve_scenes_and_run(self):
|
def retrieve_scenes_and_run(self):
|
||||||
"""
|
"""
|
||||||
|
|
Loading…
Add table
Reference in a new issue