opensource/manim-slides
1
0
Fork 0
mirror of https://github.com/jeertmans/manim-slides.git synced 2025-09-19 12:44:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

feat(lib): use and add more config option (#452)

Browse Source 
* feat(lib): use and add more config option

Closes #441

* feat(lib): add support for more options and test them

* chore(docs): add attributes to documentation

* chore(docs): sort members by member type

* chore(docs): small improvements

* chore(docs): cleanup
This commit is contained in:
Jérome Eertmans
2024-09-05 14:08:10 +02:00
committed by GitHub
parent 87867762ea
commit a39a9c2bb1
9 changed files with 302 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
manim_slides/docs/manim_slides_directive.py
View File

@ -283,8 +283,7 @@ class ManimSlidesDirective(Directive):
# Rendering is skipped if the tag skip-manim is present,
# or if we are making the pot-files
should_skip = (
"skip-manim-slides"
in self.state.document.settings.env.app.builder.tags.tags
self.state.document.settings.env.app.builder.tags.has("skip-manim-slides")
or self.state.document.settings.env.app.builder.name == "gettext"
or "SKIP_MANIM_SLIDES" in os.environ
)