On Thu, Aug 04, 2005 at 04:24:56PM +0200, Lars Gullik Bj?nnes wrote: > yes I think so, > and we should already know to not use this for profiling builds.
Hmmph. It's hard to gauge where LyX is wrt performance if this is on by default - daily use of the latest LyX is how much stuff gets caught. Can't we have it off by default? When did it catch a bug? john
