export as png
Roberto D via Ipe-discuss <ipe-discuss-rGrgPyRx506NN8uzcEdRPYRWq/[email protected]> Thu, 6 Jul 2017 18:55:16 +0200
| Newsgroups | gmane.comp.graphics.ipe.general |
|---|---|
| Message-ID | <CAP7GVoHnQUEtUQ0N+spxAhXAVZ9jdMkojFyzAkKj6W5u3fHv8Q@mail.gmail.com> |
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