Jürgen Spitzmüller wrote:
RGH wrote:
I thought about this a bit, and it's a little harder: You'd also want to
update when a label was deleted. So here's one possibility: Turn off the
update of the xref window and declare some sort of signal to be called
in the InsetLabel constructor and destructor, which signal would be
connected to the update method for GuiReference. I guess the
GuiReference window would have to manage its own connections. But this
is a little beyond me, at the moment.
Probably something like the bibfiles cache?
Probably a good idea.
Abdel.
