| 12345678910111213141516171819 |
- #!/usr/bin/env python
- from PIL import Image
- def make(name, size):
- image = Image.open(f"favico{size}.png")
- image = image.convert('RGBA')
- pixels = list(image.getdata())
- print(f"pub const {name}: [u8; {size} * {size} * 4] = [")
- for pixel in pixels:
- pixel = [str(p) for p in pixel]
- print(", ".join(pixel) + ",")
- print("];")
- make("SMALL", 16)
- make("MEDIUM", 32)
- make("BIG", 64)
|