Enrico Forestieri wrote: > Maybe a PPM image could be generated for internal use instead of PNG? > This would be a very quick fix.
As I already wrote we should always output the extension. And even if we don't output it on tex export we should do it for the .tex files in the temp dir. Using png images for internal preview has the nice side effect that we can use the same image for preview and pdflatex compilation for bitmap images. This can save a substantial amount of conversions (of course depending on the document). Georg PS: I saw that you fixed bug 3150, that is nice. Is there any reason why you did not close it in bugzilla?
