<div dir="ltr"><div>Hi Fabio,</div><div><br></div><div>Check out this link as well: <a href="https://phyletica.org/imagemagick/">https://phyletica.org/imagemagick/</a></div><div><br></div><div>Pierre.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 13 Jun 2023 at 18:52, Fabio Stumbo via Ipe-discuss <<a href="mailto:ipe-discuss@lists.science.uu.nl">ipe-discuss@lists.science.uu.nl</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi there,<br>
<br>
in the IPE gallery<br>
<br>
<a href="https://sarielhp.org/p/gallery/" rel="noreferrer" target="_blank">https://sarielhp.org/p/gallery/</a><br>
<br>
there are a bounch of images which are exactly what I am trying to <br>
achieve, that is an animated gif created from an IPE source which <br>
contains many views, with a GIF layer for each view of the IPE source.<br>
<br>
See for example image n. 3, that is<br>
<br>
<a href="https://sarielhp.org/p/gallery/17/09/24/big_graph_anim.ipe" rel="noreferrer" target="_blank">https://sarielhp.org/p/gallery/17/09/24/big_graph_anim.ipe</a><br>
<br>
I have my IPE source with many views but I don't know how to obtain an <br>
animated GIF from it: how do I do it? Do I need to save an image for <br>
every view then create a GIF from all the images or there is a smarter <br>
(and quicker!) way which I am missing?<br>
<br>
In the case, can I choose somehow the showing time for each gif layer or <br>
it will be the same for every layer?<br>
<br>
<br>
Many thanks<br>
<br>
<br>
Fabio<br>
<br>
_______________________________________________<br>
Ipe-discuss mailing list<br>
<a href="mailto:Ipe-discuss@lists.science.uu.nl" target="_blank">Ipe-discuss@lists.science.uu.nl</a><br>
<a href="https://mailman.science.uu.nl/mailman/listinfo/ipe-discuss" rel="noreferrer" target="_blank">https://mailman.science.uu.nl/mailman/listinfo/ipe-discuss</a><br>
</blockquote></div>