We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
From bugzilla Bug 517112
Pierre-Charles David - 2017-05-23 04:34:58 EDT
Steps to reproduce: Create a sequence diagram (use the "interactions" example). Create several lifeline. The diagram header should show all of them. Select one lifeline and delete it. The header element corresponding to the deleted lifeline is still visible. Scroll, zoom, move or create an element => the header is refreshed and the obsolete header element disappears.
Steps to reproduce:
The text was updated successfully, but these errors were encountered:
I notice the same problem with the undo/redo:
Sorry, something went wrong.
No branches or pull requests
From bugzilla Bug 517112
Pierre-Charles David - 2017-05-23 04:34:58 EDT
The text was updated successfully, but these errors were encountered: