Hi, I ask you if it is possible to choose the number of pixel of the output figure. What I am doing now is just resizing the png with Gimp. Thank you Roberto -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailman.science.uu.nl/pipermail/ipe-discuss/attachments/20170706/960899f9/attachment.html>