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

Provide hover participant #231

Merged
merged 1 commit into from
Feb 28, 2020
Merged

Provide hover participant #231

merged 1 commit into from
Feb 28, 2020

Conversation

angelozerr
Copy link
Contributor

Provide hover participant

See #229

Signed-off-by: azerr azerr@redhat.com

@angelozerr angelozerr marked this pull request as ready for review February 28, 2020 15:14
@angelozerr angelozerr added this to the v0.0.6 milestone Feb 28, 2020
@angelozerr angelozerr self-assigned this Feb 28, 2020
Provide hover participant
ae72768 
See redhat-developer#229

Signed-off-by: azerr <azerr@redhat.com>
@xorye
Copy link

xorye commented Feb 28, 2020

Awesome, I'd say this is good to merge

@angelozerr angelozerr merged commit 9878c12 into redhat-developer:master Feb 28, 2020
@angelozerr
Copy link
Contributor Author

Thanks for your review @xorye !

@xorye xorye added the enhancement New feature or request label Apr 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@xorye xorye xorye left review comments

Assignees

@angelozerr angelozerr

Labels
enhancement New feature or request hover quarkus-jdt-extension
Projects
None yet
Milestone
v0.0.6
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@angelozerr @xorye