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
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