Re: export as png

If you export from the Ipe user interface, the resolution of the
exported image is determined by the current zoom factor.  So simply zoom
to the resolution you need.

If you export using the command line tool "iperender", use the
-resolution option.

Cheers,
 Otfried

On Thu, Jul 6, 2017, at 18:55, Roberto D via Ipe-discuss wrote:
> 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
> _______________________________________________
> Ipe-discuss mailing list
> Ipe-discuss-rGrgPyRx506NN8uzcEdRPYRWq/[email protected]
> https://mailman.science.uu.nl/mailman/listinfo/ipe-discuss