Skip to content

Delete metarelations#77

Merged
pettter merged 2 commits intomasterfrom
delete_metarelations
Apr 9, 2021
Merged

Delete metarelations#77
pettter merged 2 commits intomasterfrom
delete_metarelations

Conversation

@pettter
Copy link
Copy Markdown
Contributor

@pettter pettter commented Apr 9, 2021

This allows the same mechanisms that delete relations to also delete metarelations. Note that this is at least graphically buggy - we just delete arcs where the (meta)relations appear, we don't modify SVG elements that are not the deleted relation or targetted notes.

This thus fixes #62, but not #63

@pettter pettter merged commit b4a59c8 into master Apr 9, 2021
@pettter pettter deleted the delete_metarelations branch August 9, 2021 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Cannot delete metarelation.

1 participant