| Please run src/tools/resources/optimize-png-files.sh on all new icons. For example: | |
| tools/resources/optimize-png-files.sh -o2 new_pngs_dir | |
| If this script does not work for some reason, at least pngcrush the files: | |
| mkdir crushed | |
| pngcrush -d crushed -brute -reduce -rem alla new/*.png |