From 80d5e2506acabea4a0ad3eb786975066113514db Mon Sep 17 00:00:00 2001 From: "mr. m" <91018726+mauro-balades@users.noreply.github.com> Date: Thu, 29 May 2025 18:08:55 +0200 Subject: [PATCH] Dont indent themes.json --- scripts/rebuild_themes.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/rebuild_themes.py b/scripts/rebuild_themes.py index 2ef4aed5..908c9e7e 100644 --- a/scripts/rebuild_themes.py +++ b/scripts/rebuild_themes.py @@ -44,7 +44,7 @@ def write_colors(colors_file, output_file): def main(): with open(THEMES_DATA_FILE, "w") as f: - json.dump({}, f, indent=4) + json.dump({}, f) for theme in os.listdir(THEMES_FOLDER): theme_folder = os.path.join(THEMES_FOLDER, theme) @@ -112,4 +112,4 @@ def main(): if __name__ == "__main__": - main() \ No newline at end of file + main()