Martin Vermeer wrote:

> If no objection, this goes in presently. Should not have any functional
> effects at present, with insetcaption disabled...

Note that you can opeen a file that contains an InsetCaption just fine, so
it is not entirely disabled.

Why is the mutable label needed?


Georg

Reply via email to