Convert GIFs in com.wudsn.ide.snd to PNG
Before Width: | Height: | Size: 329 B |
After Width: | Height: | Size: 634 B |
Before Width: | Height: | Size: 986 B |
After Width: | Height: | Size: 641 B |
Before Width: | Height: | Size: 980 B |
After Width: | Height: | Size: 618 B |
Before Width: | Height: | Size: 987 B |
After Width: | Height: | Size: 631 B |
Before Width: | Height: | Size: 980 B |
After Width: | Height: | Size: 545 B |
Before Width: | Height: | Size: 980 B |
Before Width: | Height: | Size: 856 B |
After Width: | Height: | Size: 640 B |
Before Width: | Height: | Size: 978 B |
After Width: | Height: | Size: 623 B |
Before Width: | Height: | Size: 970 B |
After Width: | Height: | Size: 551 B |
|
@ -33,9 +33,9 @@ final class Icons {
|
|||
|
||||
static {
|
||||
AbstractIDEPlugin plugin = SoundPlugin.getInstance();
|
||||
PLAY = plugin.getImage("player-play-16x16.gif");
|
||||
PAUSE = plugin.getImage("player-pause-16x16.gif");
|
||||
STOP = plugin.getImage("player-stop-16x16.gif");
|
||||
EXPORT = plugin.getImage("player-export-16x16.gif");
|
||||
PLAY = plugin.getImage("player-play-16x16.png");
|
||||
PAUSE = plugin.getImage("player-pause-16x16.png");
|
||||
STOP = plugin.getImage("player-stop-16x16.png");
|
||||
EXPORT = plugin.getImage("player-export-16x16.png");
|
||||
}
|
||||
}
|
||||
|
|