On 07.12.2010, at 12:30, Albrecht Schlosser wrote: > I propose to replace all .gif (and maybe also .jpg) files in our > docs with converted .png files. These can be used in both (html > and pdf) versions.
+1 > Advantages: > - only one image file for all > - color images in .pdf docs instead of gray-scale images > - removal of huge .eps files > - no file conversion needed to create the docs Wonderful. I love it. > File sizes: > *.eps: ~ 12 MB > *.gif + *.jpg: ~ 380 KB > *.png: ~ 485 KB > > Maybe we can compress the .png files better; I used 'convert' w/o > any options to convert them. Suggestions ? png is just a wrapper for different compression algorithms. Most png images use jpeg compression internally. _______________________________________________ fltk-dev mailing list [email protected] http://lists.easysw.com/mailman/listinfo/fltk-dev
