It turns out that bug 1922 (navigating allsymbols.lyx is extremely
slow) can be solved by configuring with --disable-stdlib-debug. 

That raises a question: is it really wise to turn this on by default?

JMarc

Reply via email to