Eduard Braun
|
3ce3dd884e
|
Make repeat/shuffle icons a bit darker
With the previous icons there was almost no difference between enabled/disabled states in the UI
|
2016-02-21 03:27:17 +01:00 |
John Maguire
|
5f3d548c70
|
pngcrush all our data pngs
find data -name '*.png' -exec
pngcrush {} {}.new \; -exec mv {}.new {} \;
|
2014-02-07 16:46:48 +01:00 |
Arnaud Bienner
|
ab9001be2a
|
Replace default media-playlist-shuffle icon by a (IMHO more intuitive) one.
Fixes issue 1975
|
2012-08-03 21:54:51 +02:00 |
David Sansome
|
4d57ccb41c
|
Use icons from the desktop theme where possible, fall back on oxygen.
|
2010-05-19 15:45:29 +00:00 |