Georg Baum wrote: > 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.
Is it really worth the effort? > 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. Would that work if we have several bibtex insets (i.e. bibtopic)? > Another possibility > would be to put it in src/frontends/controllers/biblio.[Ch], since there > is already non-frontend related biblio stuff. I'm not very keen on doing that, to be honest. Jürgen