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.

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

Removed reveal button from Graph #235

Merged
merged 1 commit into from
Aug 16, 2023

Conversation

sebHollersbacher
Copy link
Contributor

Created new Zest example for hide-nodes and moved the reveal button from Graph to example

@github-actions
Copy link

github-actions bot commented Aug 1, 2023

Unit Test Results

    9 files      9 suites   20s ⏱️
307 tests 305 ✔️ 2 💤 0
921 runs  915 ✔️ 6 💤 0

Results for commit 8bddb4e.

♻️ This comment has been updated with latest results.

Created new Zest example for hide-nodes and moved the reveal button from
Graph to example
@azoitl azoitl merged commit 2312b49 into eclipse-gef:master Aug 16, 2023
4 checks passed
@azoitl azoitl added this to the 3.17.0 milestone Aug 16, 2023
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.

2 participants