Am Samstag, 15. April 2006 10:41 schrieb Juergen Spitzmueller: > Lars Gullik Bjønnes wrote: > > Why is std::copy needed?
It was the first solution that came to my mind. > > std::vector::assign or std::vector::insert should be able to do this. Yes. > > Right. And buffer is the wrong place for it. > > Where else? After a second thought I believe that a global cache would indeed work. The only difference to a per-buffer cache would be that the files are scanned again if any bibfile, not only a bibfile sued by the buffer has changed. That could lead to unnecessary recreation of the labels, but it would certainly be simpler. If you are going to do that I would make the cache a static member of InsetBibtex, and provide a static get method for it. Another possibility would be to put it in src/frontends/controllers/biblio.[Ch], since there is already non-frontend related biblio stuff. Georg
