From a21a5e5719450b3cccd3ece4f23eb3745f6dad07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Francisco=20Manr=C3=ADquez=20Novoa?= <49853152+chopan050@users.noreply.github.com> Date: Sun, 10 Nov 2024 20:44:52 -0300 Subject: [PATCH] Stop ignoring manim.plugins errors in mypy.ini (#4006) --- manim/plugins/__init__.py | 5 ++--- manim/plugins/plugins_flags.py | 6 +++--- mypy.ini | 3 --- 3 files changed, 5 insertions(+), 9 deletions(-) diff --git a/manim/plugins/__init__.py b/manim/plugins/__init__.py index 06314895e1..d6f82f0923 100644 --- a/manim/plugins/__init__.py +++ b/manim/plugins/__init__.py @@ -1,8 +1,7 @@ from __future__ import annotations -from manim import config, logger - -from .plugins_flags import get_plugins, list_plugins +from manim._config import config, logger +from manim.plugins.plugins_flags import get_plugins, list_plugins __all__ = [ "get_plugins", diff --git a/manim/plugins/plugins_flags.py b/manim/plugins/plugins_flags.py index 3733ac3f3f..3080b6256a 100644 --- a/manim/plugins/plugins_flags.py +++ b/manim/plugins/plugins_flags.py @@ -10,7 +10,7 @@ else: from importlib.metadata import entry_points -from manim import console +from manim._config import console __all__ = ["list_plugins"] @@ -27,5 +27,5 @@ def list_plugins() -> None: console.print("[green bold]Plugins:[/green bold]", justify="left") plugins = get_plugins() - for plugin in plugins: - console.print(f" • {plugin}") + for plugin_name in plugins: + console.print(f" • {plugin_name}") diff --git a/mypy.ini b/mypy.ini index 65a77f1d00..e17aeedbbf 100644 --- a/mypy.ini +++ b/mypy.ini @@ -73,9 +73,6 @@ ignore_errors = True [mypy-manim.mobject.geometry.*] ignore_errors = False -[mypy-manim.plugins.*] -ignore_errors = True - [mypy-manim.renderer.*] ignore_errors = True