> > > > some 30s here. btw Display all is disabled on utf-8. thats bug or
> > > > intention?
> > >
> > > Intention (because it's currently unusably slow).
> >
> > What do I have to do to reproduce this "unusably slow" behaviour?
>
> set utf-8 document encoding and try insert some symbol.
even better try this patch and try diaplying all symbols.
(warning - let some terminal around to have the possibility to kill the process
...)
pavel
diff --git a/src/frontends/qt4/GuiSymbols.cpp b/src/frontends/qt4/GuiSymbols.cpp
index 5486f5c..457ba3f 100644
--- a/src/frontends/qt4/GuiSymbols.cpp
+++ b/src/frontends/qt4/GuiSymbols.cpp
@@ -191,7 +191,7 @@ void GuiSymbols::updateView()
bool const utf8 = toqstr(encoding_).startsWith("utf8");
if (utf8)
categoryFilterCB->setChecked(false);
- categoryFilterCB->setEnabled(!utf8);
+// categoryFilterCB->setEnabled(!utf8);
updateSymbolList();
}
