api

GIFWriterクラス

画面やパネルの画像からアニメーションGIFを作成します.

// 5フレーム後から撮影開始,撮影長さ30フレーム,終了後"anim.gif"というファイル名でダウンロード
g=new GIFWriter{delay=5,length=30,after="download",filename="anim.gif"};

コンストラクタ

new GIFWriter(param)

paramには,次の値をもつオブジェクトを渡します.

メソッド

これらのメソッドは,主にmanualtrueの時に用います.

注意

例:

g=new GIFWriter{manual=true};
for (i=0; i<30; i++) {
    g.addFrame();
    update();
}
waitFor(g.save("anim.gif"));
print("Save complete!");