opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-07-29 21:12:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add clarifying message to note what exactly is being reloaded

Browse Source
This commit is contained in:
Grant Sanderson
2024-12-05 14:37:14 -06:00
parent 8dfd4c1c4e
commit 1d14bae092
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
manimlib/reload_manager.py
View File

@ -78,7 +78,13 @@ class ReloadManager:
break break
for scene in self.scenes: for scene in self.scenes:
if self.args.embed:
print(" ".join([
"Loading interactive session for",
f"\033[96m{self.args.scene_names[0]}\033[0m",
f"in \033[96m{self.args.file}\033[0m",
f"at line \033[96m{self.args.embed}\033[0m"
]))
scene.run() scene.run()
reload_manager = ReloadManager() reload_manager = ReloadManager()