-
Notifications
You must be signed in to change notification settings - Fork 1.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix :attr:.ManimConfig.format
not updating movie file extension
#3839
Conversation
.ManimConfig.format
not updating movie file extension
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
should we add a test for this? |
Good idea, I'm not sure how I forgot that :) |
059e5a2
to
a790285
Compare
("mp4", ".mp4"), | ||
("webm", ".webm"), | ||
("mov", ".mov"), | ||
("gif", ".mp4"), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It is somewhat odd how differently we are treating the case of .gif
, but that's a different discussion.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it's just a missed edge case, probably worth fixing (wow we have a lot of problems with ManimConfig
xD)
Closes #3837
Example of Bug