Andre Poenitz wrote:

It's probably better to produce a single full dvi preview in the background
"all the time" and snip from there instead of the current "snippet based"
approach (which is simple and cute, but not robust at all).

Please do not put too much effort into something that can't be fixed.

I think we will get serious performance problems if we produce full DVI previews all the time.

After all, the problem will only occur for real power users. IMHO it would be a complete waste of time to redesign the preview code which works very well in general.

Michael

--
=======================================================================
Michael Schmitt Telefon: +49 651 97551-40
Institut für Telematik Telefax: +49 651 97551-12
Bahnhofstrasse 30-32 WWW: http://www.ti.fhg.de
D-54292 Trier E-Mail: mailto:[EMAIL PROTECTED]
=======================================================================


Reply via email to