Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Enable masking/unmasking of edges in diagrams based on generic box/edge queries #1860

Closed
stephaneberle9 opened this issue Jan 26, 2018 · 2 comments
Closed

Enable masking/unmasking of edges in diagrams based on generic box/edge queries #1860

stephaneberle9 opened this issue Jan 26, 2018 · 2 comments
Assignees
@slisson @stephaneberle9

Comments

@stephaneberle9
Copy link
Contributor

  • Enable selected edge(s) to be hidden, e.g., via right-click on edge + context menu entry
  • Enable all hidden edges to be shown again, e.g., via right-clicking on box + context menu entry
@stephaneberle9 stephaneberle9 self-assigned this Jan 26, 2018
@slisson slisson self-assigned this Feb 26, 2018
@kbirken kbirken mentioned this issue Aug 6, 2018
Closed
@kbirken
Copy link
Member

kbirken commented Aug 6, 2018

Kamino closed and cloned this issue to JetBrains/MPS-extensions

@kbirken kbirken closed this as completed Aug 6, 2018
@kbirken kbirken mentioned this issue Aug 6, 2018
Closed
@kbirken
Copy link
Member

kbirken commented Aug 6, 2018

Kamino closed and cloned this issue to JetBrains/MPS-extensions

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@slisson slisson

@stephaneberle9 stephaneberle9

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@coolya @kbirken @slisson @stephaneberle9