>> 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 :-) > >Abdel. > PS. I don't like this way to insert labels. A) it seems prone for bugs, B) the label is not shown on the screen. PS2. I can't think of a good alternative right now.
