mirrors/manim
2
0
Fork 0
mirror of https://github.com/ManimCommunity/manim.git synced 2026-06-22 10:01:47 +00:00
Code Issues Projects Releases Packages Wiki Activity

fix outdated docstrings regarding manager rendering

Browse source
This commit is contained in:
JasonGrace2282 2026-01-22 23:02:27 -05:00
commit 172ea97d70
No known key found for this signature in database
GPG key ID: 8D61FE3F93FB15FA
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
manim/manager.py
View file

@ -58,7 +58,10 @@ class Manager(Generic[Scene_co]):
self.play(FadeIn(Circle()))
Manager(Manimation).render()
# make sure to use it as a context manager
# to ensure proper resource cleanup
with Manager(Manimation) as manager:
manager.render()
"""
def __init__(self, scene_cls: type[Scene_co]) -> None:
@ -157,8 +160,8 @@ class Manager(Generic[Scene_co]):
self.play(Create(Circle()))
with tempconfig({"preview": True}):
Manager(MyScene).render()
with (tempconfig({"preview": True}), Manager(MyScene) as manager):
manager.render()
"""
config._warn_about_config_options()
self._render_first_pass()