Jean-Marc Lasgouttes wrote:
First of all, there was a thread some time ago. In this thread Stefan
has explained a bit why it was necessary and when:
http://thread.gmane.org/gmane.editors.lyx.devel/114759 .
I think I will investigate this point somewhat more.
From what I understand in that thread, the point is that we might have
several
definitions of macro \foo, so that we have to know where they are to
know which one to pick.
Actually, this would be neatly handled by an integration in
updateLabels, since we would know
at each instant which definition of a macro is the right one. This is
similar to what we do with
counters. Since the updateLabels machinery is ran anyway, this would
make the cost of macros
negligible.
This seems right to me. The cost, at the moment, is the filesystem access.
rh
