On Fri, Feb 08, 2008 at 04:15:42PM +0100, Jürgen Spitzmüller wrote:
> Index: src/frontends/qt4/GuiSymbols.cpp
> ===================================================================
> --- src/frontends/qt4/GuiSymbols.cpp (Revision 22860)
> +++ src/frontends/qt4/GuiSymbols.cpp (Arbeitskopie)
> @@ -287,9 +287,10 @@
> }
> bool const show_all = categoryFilterCB->isChecked();
>
> - typedef set<char_type> SymbolsList;
> - Encoding enc = *(encodings.getFromLyXName(encoding_));
> - SymbolsList symbols = enc.getSymbolsList();
> + if (symbols_.empty() || update_combo) {
> + Encoding enc = *(encodings.getFromLyXName(encoding_));
> + symbols_ = enc.getSymbolsList();
> + }
Is there a specific reason for the copy of the Encoding instead
of using something like
encodings.getFromLyXName(encoding_)->getSymbolList()
?
Andre'
