Skip to content

Commit

Permalink
Fix config.format not updating config.movie_file_extension
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGrace2282 committed Jul 3, 2024
1 parent 73200d6 commit 059e5a2
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions manim/_config/utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down

0 comments on commit 059e5a2

Please sign in to comment.