From 059e5a261823adbc08b1d551dbeaa56b743279d5 Mon Sep 17 00:00:00 2001 From: JasonGrace2282 Date: Wed, 3 Jul 2024 08:27:40 -0400 Subject: [PATCH] Fix config.format not updating config.movie_file_extension --- manim/_config/utils.py | 1 + 1 file changed, 1 insertion(+) diff --git a/manim/_config/utils.py b/manim/_config/utils.py index 0316311778..6c2492d95e 100644 --- a/manim/_config/utils.py +++ b/manim/_config/utils.py @@ -1052,6 +1052,7 @@ def format(self, val: str) -> None: val, [None, "png", "gif", "mp4", "mov", "webm"], ) + self.resolve_movie_file_extension(self.transparent) if self.format == "webm": logging.getLogger("manim").warning( "Output format set as webm, this can be slower than other formats",