Should I use writemime with gcf()?
The issue is that I either get a flashing GUI window, or – if I call
pygui(false) – a terminal dump of Figure objects. Is there, perhaps, some
standard PDF file type, that can be used as a Display, and that will accept
"application/pdf"?
That is: I can create the PDF easily enough by explicitly writing the
figure – it's just that I'd rather set the display or something (i.e., use
the standard multimedia protocol) and not have either GUI or terminal cruft…
(In the Python version of what I'm trying to port at the moment, I used
matplotlib.use("pdf"), but I guess that's not available in PyPlot.jl…?)
