#814 Run Batch Tool needs improved output to png and pdf
Sadie is having students use the run batch tool, and it would be nice if we had a little more control over the output filename of the png files produced. For example, a integer parameter is formatted without the leading zero, so filenames do not sort properly. The droplist of examples should show the new options. These options will include, String.format - type formatting, when percents are used. So for example:
- data_%02d.png will format the first parameter, which ought to be a number, as a integer.
- data_%02d_%05.3f.png will format the second parameter as a float with three decimal places.
- data_%s.png will format just as $x would have.
Also, when using multiple parameters, with the semicolon splitting them (date;sc) this name is formatted into the one $x, which is quite limiting. Also this needs to be fixed sooner than later because the logic will change.
Last, the whole GUI needs some improvement. The idea was you could output a png instead of looking at the result on the screen, so it's more than a convenience. (We don't want force people to write the output themselves.)
Discussion
See also https://sourceforge.net/p/autoplot/bugs/2554/
I'm also going to make it so that any spaces in the generated filename are converted to underscores, so that %10s can be used to format strings to a fixed-width field.