update graphics

2025-01-07 22:57:34 +01:00
parent f112f57e37
commit a04cf4d0cb
6 changed files with 240 additions and 58 deletions
--- a/scripts/extract_graphics.py
+++ b/scripts/extract_graphics.py
@@ -41,7 +41,7 @@ def export_objects(svg_file: str, object_ids: Iterable[str]) -> None:
            OUTPUT_DIR + "/" + obj[4:],
            svg_file,
        ]
-        print(f"exporting {obj[4:]}...", end="")
+        print(f"exporting {obj[4:]}...", end="", flush=True)
        res = subprocess.check_output(command)
        if res:
            print(f" An error might have occurred:\n{res}")