From cbf18a312e2c04df6e2668ddc990331266c4708c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9rome=20Eertmans?= Date: Fri, 10 May 2024 11:50:53 +0200 Subject: [PATCH] chore(lib): update comment chore(lib): update comment --- manim_slides/convert.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/manim_slides/convert.py b/manim_slides/convert.py index 8432b2e1..774f7998 100644 --- a/manim_slides/convert.py +++ b/manim_slides/convert.py @@ -409,7 +409,8 @@ def convert_to(self, dest: Path) -> None: if num_presentation_configs > 1: # Prevent possible name collision, see: # https://github.com/jeertmans/manim-slides/issues/428 - # With ManimCE, this should not happen (but happens...) + # With ManimCE, this can happen when caching is disabled as filenames are + # 'uncached_000x.mp4' # With ManimGL, this can easily occur since filenames are just basic integers... num_digits = len(str(num_presentation_configs - 1))