From f61da83440cf80700a6f2da1281d001c55946044 Mon Sep 17 00:00:00 2001 From: "mr. m" <91018726+mauro-balades@users.noreply.github.com> Date: Wed, 19 Feb 2025 11:28:37 +0000 Subject: [PATCH] Deprecate color themes and notify users in the theme submission script --- scripts/submit_theme.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/submit_theme.py b/scripts/submit_theme.py index 6a1dc21e..6462e260 100644 --- a/scripts/submit_theme.py +++ b/scripts/submit_theme.py @@ -79,6 +79,7 @@ def get_styles(is_color_theme, theme_id): # we actually have a JSON file here that needs to be generated if is_color_theme: + panic("Color themes have been deprecated, sorry!") with open(f"themes/{theme_id}/{COLORS_FILE}", "w") as f: json.dump(json.loads(content), f, indent=4) return "/* This is a color theme. */"