Record Gif
import processing.pdf.*;
boolean pdfsave = false;
if (pdfsave) beginRecord(PDF, "export/"+filename+".pdf");
if (pdfsave) endRecord();
boolean pdfanim = false;
int counter = 100000;
if (pdfanim) beginRecord(PDF, "export/"+filename+"/"+filename+counter+".pdf");
if (pdfanim) {
endRecord();
counter++;
}
import gifAnimation.*;
GifMaker gifExport;
boolean gifsave = false;
//SETUP
if (gifsave) {
gifExport = new GifMaker(this, "export/"+filename+"_anim.gif");
gifExport.setRepeat(0); // make it an "endless" animation
// gifExport.setTransparent(255,255,255); // black is transparent
}
//DRAW
if (gifsave && frameCount % 100 ==0) {
gifExport.setDelay(0);
gifExport.addFrame();
}
/// Key Press
if (key == 's' || key == 'S') {
if (gifsave) gifExport.finish();
if (pdfsave) endRecord();
saveFrame("export/"+filename+frameCount+extension);
}