Michael Schmitt wrote:
>
> two remarks from a user's perspective:
>
> - Concerning your discussion this morning, I think it is a very nice
>feature that references are updated if the corresponding label is
>changed! I wonder if it makes sense to update references
>even globally with
Hi,
two remarks from a user's perspective:
- Concerning your discussion this morning, I think it is a very nice
feature that references are updated if the corresponding label is
changed! I wonder if it makes sense to update references
even globally within all open documents. This would
