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

[530658] Add Zest support for edges tooltips. #68

Merged

Conversation

miklossy
Copy link
Contributor

  • edge-tooltip
  • edge-label-tooltip
  • edge-source-label-tooltip
  • edge-target-label-tooltip
  • element-external-label-tooltip

https://bugs.eclipse.org/bugs/show_bug.cgi?id=530658

@miklossy miklossy requested a review from mwienand May 13, 2019 18:10
- edge-tooltip
- edge-label-tooltip
- edge-source-label-tooltip
- edge-target-label-tooltip
- element-external-label-tooltip

Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=530658
@miklossy miklossy force-pushed the master_0_530658_zest_edge_tooltips branch from 737712d to 1d2c3c2 Compare May 14, 2019 15:11
@mwienand mwienand merged commit 1d2c3c2 into eclipse:master May 17, 2019
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.

None yet

2 participants