}
public void makeDXF(PApplet a, String dxfSaveLocation) {
a.textSize(this.textSize);
DXFWriter dxf = new DXFWriter(dxfSaveLocation);
//d.beginRaw(a.DXF, dxfSaveLocation);
dxf.scale(dxf_pixels_per_mm);
this.pages.renderToPlotter(dxf);
dxf.close();
//dxf.endDraw();
}