Community
Participate
Working Groups
Steps to reproduce: 1. Create a sequence diagram (use the "interactions" example). 2. Create several lifeline. The diagram header should show all of them. 3. Select one lifeline and delete it. The header element corresponding to the deleted lifeline is still visible. 4. Scroll, zoom, move or create an element => the header is refreshed and the obsolete header element disappears.