On 08/01/2016 06:50 PM, Guillaume Munch wrote: > Le 31/07/2016 à 19:52, Richard Heck a écrit : >>> +++ b/src/frontends/qt4/GuiCitation.cpp >> >> Is there some way we could store these per BufferView or something? I'd >> kind of like to save the last searched string for each document, >> rather than >> globally. > > Yes, I think there must be a better solution.
I suppose for now it would be fine to go with the easy one, and leave a FIXME. >> >> PS We have: >> static vector<int> cache_set(NUM_FAMILIES, false); >> cache_set[family] = true; >> ?? > > vector<bool> has a specific implementation, so maybe it used to cause > issues on some compliers for some reason. It works fine here. Yes, I thought of that later. I seem to remember once reading somewhere that one should avoid vector<bool>.... rh
