Commit graph

3 commits

Author SHA1 Message Date
Edward Chernenko
4384bd550a optipng run: ./utils/woptipng.py -d 15 images/
It has been a while since the last optipng run (it was in 2015),
and many non-optimized PNG files have accumulated in the repository.

288 of 1666 files optimized, 258992 bytes reduced to 156258 bytes; -102734 bytes, -39.66%

To avoid unnecessarily increasing the size of Git repository for minor
size reductions, we skip images that weren't reduced by at least 15%.
2019-01-02 19:26:48 +02:00
JaMiT
53f6ec19c0 Remove color information from transparent pixels
This makes the images smaller, and it circumvents bug #23909.
2016-08-04 22:01:15 -05:00
Charles Dang
3ad092aa2b Hi-res colored cursors by LordBob 2016-04-15 03:49:38 +11:00