opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-01 06:22:54 +08:00
Code Issues Packages Projects Releases Wiki Activity

Made naming by quality optional

Browse Source
This commit is contained in:
Grant Sanderson
2018-02-13 11:44:04 -08:00
parent 3b8bbbccab
commit 1bea7fc8c5
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
scene/scene.py
View File

@ -41,6 +41,7 @@ class Scene(Container):
"random_seed" : 0, "random_seed" : 0,
"start_at_animation_number" : None, "start_at_animation_number" : None,
"end_at_animation_number" : None, "end_at_animation_number" : None,
"include_render_quality_in_name" : False, #TODO, nothing uses this right now
} }
def __init__(self, **kwargs): def __init__(self, **kwargs):
Container.__init__(self, **kwargs) # Perhaps allow passing in a non-empty *mobjects parameter? Container.__init__(self, **kwargs) # Perhaps allow passing in a non-empty *mobjects parameter?
@ -54,8 +55,9 @@ class Scene(Container):
self.frame_num = 0 self.frame_num = 0
self.current_scene_time = 0 self.current_scene_time = 0
if self.name is None: if self.name is None:
quality = self.camera.pixel_shape[0] self.name = self.__class__.__name__
self.name = self.__class__.__name__ + str(quality) if self.include_render_quality_in_name:
self.name += str(self.camera.pixel_shape[0])
if self.random_seed is not None: if self.random_seed is not None:
random.seed(self.random_seed) random.seed(self.random_seed)
np.random.seed(self.random_seed) np.random.seed(self.random_seed)