2021-03-01 09:07:33 +00:00
|
|
|
import pixie/fileformats/gif, pixie/fileformats/png
|
2021-03-01 09:01:04 +00:00
|
|
|
|
|
|
|
var img = decodeGIF(readFile("tests/images/gif/3x5.gif"))
|
|
|
|
writeFile("tests/images/gif/3x5.png", img.encodePng())
|
|
|
|
|
|
|
|
var img2 = decodeGIF(readFile("tests/images/gif/audrey.gif"))
|
|
|
|
writeFile("tests/images/gif/audrey.png", img2.encodePng())
|
|
|
|
|
|
|
|
var img3 = decodeGIF(readFile("tests/images/gif/sunflower.gif"))
|
|
|
|
writeFile("tests/images/gif/sunflower.png", img3.encodePng())
|