Home | History | Annotate | Download | only in theme
      1 Please run src/tools/resources/optimize-png-files.sh on all new icons. For example:
      2   tools/resources/optimize-png-files.sh -o2 new_pngs_dir
      3 
      4 If this script does not work for some reason, at least pngcrush the files:
      5   mkdir crushed
      6   pngcrush -d crushed -brute -reduce -rem alla new/*.png
      7