On 07.12.2010, at 18:58, Greg Ercolano wrote:
> Actually, it seems png + jpg work fine, but gif doesn't seem to.
Yes, that's what I see, too. Although I *think* that I once saw gif
working as well - but then again it didn't...
> So I guess if we convert *.gif -> *.png, that'd work.
> I'd leave the jpegs alone, as there's reasons for those to be jpegs.
> (eg. colormap editor screenshot is a jpeg because it has a full color
> ramp)
Agreed. I did a "brute force" convert with all gif and jpeg files just
to see how it works. I can also see now that the jpeg images increased
in terms of size. So we'd be better off leaving them alone. Thanks for
checking this.
> What's interesting is that just a default ImageMagick conversion of
> gif -> png seems to make the images quite a bit smaller, with no
> degrading:
...
> So I'd revise the suggestion to:
>
> 1) svn remove *.eps
> 2) convert all gifs -> png
> 3) svn remove *.gif
> 4) svn add *.png
> 5) For jpeg/png images, change all \image latex foo.eps .. ->
> \image latex foo.[jpg,png] ..
> 6) For gif images, change all \image html foo.gif .. -> \image
> html foo.png
> and (harder to do): change \image latex foo.eps .. ->
> \image latex foo.png ..
Looks good !
I simply changed all '.{gif|jpg|eps}' strings to '.png'. There was only
one occurrence of the string ".gif" that I had to revert manually.
But this is really somewhat harder to do - maybe something like
for f in *.gif; do g="`basename $f .gif`.png"; echo "$f -> $g"; done
replace "echo ..." with another suitable command/for loop ?
Maybe you could also hand-edit my patch file and remove/adjust the
unwanted parts that change the jpeg's ?
> Assuming that's desirable, I can probably do this.
I think so, and I appreciate if you do it. I think that we agreed to
do so (Matt, you and me, and Ian didn't object). So it should be good
to go. Please don't forget to "clean" the Makefile. TIA.
Albrecht
_______________________________________________
fltk-dev mailing list
[email protected]
http://lists.easysw.com/mailman/listinfo/fltk-dev