<div dir="ltr">I will; I just want to play with it for a bit first and make sure I'm doing the right thing.<div><br></div><div>martin</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 30, 2014 at 10:02 AM, Jens Axel Søgaard <span dir="ltr"><<a href="mailto:jensaxel@soegaard.net" target="_blank">jensaxel@soegaard.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Martin,<br>
<span class=""><br>
2014-09-28 0:46 GMT+02:00 Martin DeMello <<a href="mailto:martindemello@gmail.com">martindemello@gmail.com</a>>:<br>
> Solved, with help from Jens Soegaard; I had to modify mrlib/write-gifs to<br>
> take a disposal argument, and use it in all calls to gif-add-control.<br>
<br>
</span>You can submit your changes here:<br>
<br>
<a href="https://github.com/plt/racket/blob/master/pkgs/gui-pkgs/gui-lib/mrlib/gif.rkt" target="_blank">https://github.com/plt/racket/blob/master/pkgs/gui-pkgs/gui-lib/mrlib/gif.rkt</a><br>
<br>
Click at the pen to the right of the history button.<br>
<span class="HOEnZb"><font color="#888888"><br>
/Jens Axel<br>
</font></span></blockquote></div><br></div>