On Thu, Jan 28, 2010 at 08:23:35AM +0100, Jürgen Spitzmüller wrote: > Anyone has an idea to improve that? If not, I'll commit.
Good work, Jürgen. However, there are still some issues. The ref inset is not updated when it is inside a \tag or \text inset, for example. Another problem is that I get a crash when I cut and paste an existing ref inset into a \text inset and then try to modify the referenced label. -- Enrico
