Enrico Forestieri wrote:
I'm wondering if this is something that should go into bugzilla, or
whether it's one of those "we'll have to live with it" sorts of things?
The latter, I fear. If the same preamble was not used, the snippets
could not be generated because something in the preamble is needed.
Frankly, implementing a sort of artificial intelligence simply to be
able to recognize what is really needed for instant-preview seems
to much, IMO.
Is it possible to load the full preamble but also add a line that
overrides the format decision, so that a DVI is always generated even if
the document is targeting pdftex? If so, that is one way to circumvent
the problem. If not, then perhaps the conversion script needs to search
first for 0lyxpreview.dvi and then, failing to find it, 0lyxpreview.pdf,
and convert the latter to PNG if it exists (?).
/Paul
