From bf8f517b496b8f733b3b5942407ee3282fc18b6d Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Fri, 24 May 2019 15:05:20 -0700 Subject: [PATCH] Changed SceneFileWriter.get_default_file_name --- manimlib/scene/scene_file_writer.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/manimlib/scene/scene_file_writer.py b/manimlib/scene/scene_file_writer.py index a6aaa721..c385483f 100644 --- a/manimlib/scene/scene_file_writer.py +++ b/manimlib/scene/scene_file_writer.py @@ -34,6 +34,7 @@ class SceneFileWriter(object): # TODO, address this in extract_scene et. al. "file_name": None, "output_directory": None, + "file_name": None, } def __init__(self, scene, **kwargs): @@ -80,7 +81,10 @@ class SceneFileWriter(object): return scene_module.replace(".", os.path.sep) def get_default_file_name(self): - return self.scene.__class__.__name__ + if self.file_name is None: + return self.scene.__class__.__name__ + else: + return self.file_name def get_movie_directory(self): pixel_height = self.scene.camera.pixel_height