// tools for managing file names, Jarek Rossignac // in main //void setup() { size(800, 800); smooth(); strokeJoin(ROUND); strokeCap(ROUND); // set up window and drawing modes // loadP(); // loads number maxnf of flies P00, P01, P02... // in UI //void keyPressed() { // if (key=='g') {loadP(); fn=(fn+1)%(maxfn+1); } ; // if (key=='A') {if(fn=0) sign="+"; String spaces = " "; String s=nf(abs(f),n,z); while (s.indexOf("0")==0) {s=s.substring(1,s.length());}; int b=s.indexOf("."); int a=max(0,n-b); int c=s.length()-b-1; int d=0; if (c>z) {s=s.substring(0,b+1+z); c=z;} else { d=z-c;}; String front = spaces.substring(0, a); String back = spaces.substring(0, d); return(front+sign+s+back); };