From 6cb89a06bab4f8a65fd8ace315b1825ea60ace4f Mon Sep 17 00:00:00 2001 From: Benjamin Hackl Date: Sun, 28 Apr 2024 00:35:29 +0200 Subject: [PATCH] fixed [""] being set as loaded plugins (#3734) --- manim/_config/utils.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/manim/_config/utils.py b/manim/_config/utils.py index a202d857cd..9b05ffd7d8 100644 --- a/manim/_config/utils.py +++ b/manim/_config/utils.py @@ -652,7 +652,12 @@ def digest_parser(self, parser: configparser.ConfigParser) -> Self: setattr(self, "window_size", window_size) # plugins - self.plugins = parser["CLI"].get("plugins", fallback="", raw=True).split(",") + plugins = parser["CLI"].get("plugins", fallback="", raw=True) + if plugins == "": + plugins = [] + else: + plugins = plugins.split(",") + self.plugins = plugins # the next two must be set AFTER digesting pixel_width and pixel_height self["frame_height"] = parser["CLI"].getfloat("frame_height", 8.0) width = parser["CLI"].getfloat("frame_width", None)