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

feat(cli): rewrite presentation player (#243)

Browse Source 
* wip: rewrite player

* wip(cli): new player

* wip(player): allow to close

* Auto stash before merge of "rewrite-player" and "origin/rewrite-player"

* feat(cli): new player

* chore(docs): document changes

* feat(cli): add info window
This commit is contained in:
Jérome Eertmans
2023-08-21 16:50:03 +02:00
committed by GitHub
parent b321161717
commit 638616c94f
22 changed files with 753 additions and 1141 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
manim_slides/utils.py
View File

@ -61,7 +61,7 @@ def merge_basenames(files: List[Path]) -> Path:
# https://github.com/jeertmans/manim-slides/issues/123
basename = hashlib.sha256(basenames_str.encode()).hexdigest()
logger.info(f"Generated a new basename for basenames: {basenames} -> '{basename}'")
logger.debug(f"Generated a new basename for basenames: {basenames} -> '{basename}'")
return dirname.joinpath(basename + ext)