public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-19 04:41:56 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Replace IGNORE_MANIMLIB_MODULES constant with a piece of global configuration

Browse source
This commit is contained in:
Grant Sanderson 2024-12-09 16:57:55 -06:00
parent 8706ba1589
commit 950ac31b9b
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
manimlib/default_config.yml
View file

@ -58,3 +58,4 @@ camera_resolutions:
fps: 30
embed_exception_mode: "Verbose"
embed_error_sound: False
ignore_manimlib_modules_on_reload: True

6
manimlib/module_loader.py
View file

@ -6,12 +6,11 @@ import os
import sys
import sysconfig
from manimlib.config import get_global_config
from manimlib.logger import log
Module = importlib.util.types.ModuleType
IGNORE_MANIMLIB_MODULES = True
class ModuleLoader:
"""
@ -143,7 +142,8 @@ class ModuleLoader:
Only user-defined modules are reloaded, see `is_user_defined_module()`.
"""
if IGNORE_MANIMLIB_MODULES and module.__name__.startswith("manimlib"):
ignore_manimlib_modules = get_global_config()["ignore_manimlib_modules_on_reload"]
if ignore_manimlib_modules and module.__name__.startswith("manimlib"):
return
if not hasattr(module, "__dict__"):