Re: [patch] bug 3226: labels in caption insets don't have a prefix

[Jürgen Spitzmüller]

Abdelrazak Younes wrote:
> I understand but I still don't like the scanning... :-)

I don't like it either. But I don't see an alternative yet.

Jürgen