Initial commit

make_ico.py

@@ -0,0 +1,25 @@
+import sys
+from pathlib import Path
+from PIL import Image
+
+png = Path("icon.png")
+if not png.exists():
+    print("No icon.png found, skipping.")
+    sys.exit(0)
+
+try:
+    img = Image.open(png).convert("RGBA")
+    sizes = [256, 128, 64, 48, 32, 16]
+    frames = []
+    for s in sizes:
+        frame = img.copy()
+        frame.thumbnail((s, s), Image.LANCZOS)
+        frames.append(frame)
+    frames[0].save("icon.ico", format="ICO",
+                   sizes=[(s, s) for s in sizes],
+                   append_images=frames[1:])
+    print("icon.ico created successfully.")
+    sys.exit(0)
+except Exception as e:
+    print(f"WARNING: Could not convert icon.png: {e}")
+    sys.exit(1)