library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2024-11-21 11:04:24 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
7,320 Commits 10 Branches 89 Tags 45 MiB
daa6fb55b3
Commit Graph

5 Commits

Author SHA1 Message Date
Дилян Палаузов
827abdfccd
Demos: Optimize PNG files 
Optimization done by calling:

    for i in `find -name '*.png'`; do optipng -o7 -zm9 $i; done

Closes gh-2132
 2022-12-20 21:50:16 +01:00
Jo Liss
cc37fe76aa Themes: Optimize PNG files with zopflipng 
Closes gh-1772
 2016-11-29 09:42:36 -05:00
Ville Skyttä
d7ea031bd3 Demos: Optimize *.png with zopflipng 
zopflipng -m, version 1.0.1.

Closes gh-1726
 2016-08-24 12:01:45 -04:00
Peter Dave Hello
b7d0c701c7 All: Optimize png images losslessly using zopflipng 
Closes gh-1710
 2016-06-06 11:26:06 -04:00
Felix Nagel
ba748232c1 Selectmenu: added custom_render.html demo, removed widgetBaseClass 2011-10-09 01:54:36 +02:00