>> We thought you were just talking about normal labels. So the problem is >> that the mechanism that changes duplicate labels on copying isn't working >> with the labels that go with listings child docs. That's what we need to >> fix, since we don't want duplicate labels. > > Yep, I remember this was on my todo list sometime ago :-)
Your TODO list must be long. :-) I do see a InsetLabel in InsetInclude so the bug should be easy to fix... I am looking at the code. Bo
