<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<body>
<div dir="auto">
<div dir="auto">That's interesting.</div><div dir="auto"><br></div><div dir="auto">Noted.</div><div dir="auto"><br></div><div dir="auto">Thank you.</div><div dir="auto"><br></div><div dir="auto">F</div><div dir='auto'><br></div>
<div id="aqm-original" style="color: black;">
<!-- body start -->
<div class="aqm-original-body">
<div style="color: black;">
<p style="color: black; font-size: 10pt; font-family: sans-serif; margin: 8pt 0;">In data 13 giugno 2023 19:41:20 Pierre <pierreganty@gmail.com> ha scritto:</p>
<blockquote type="cite" class="gmail_quote" style="margin: 0 0 0 0.75ex; border-left: 1px solid #808080; padding-left: 0.75ex;">
<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>
</blockquote>
</div>
</div>
<!-- body end -->
</div><div dir="auto"><br></div>
</div></body>
</html>