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 cancel support for hover #1474

Closed
angelozerr opened this issue Feb 1, 2023 · 0 comments · Fixed by #1502
Closed

Provide cancel support for hover #1474

angelozerr opened this issue Feb 1, 2023 · 0 comments · Fixed by #1502
Assignees
@angelozerr
Labels
enhancement New feature or request hover
Milestone
0.25.0

Comments

@angelozerr
Copy link
Contributor

It should be nice to use the cancel checker in our hover.
@angelozerr angelozerr mentioned this issue Feb 1, 2023
Closed
angelozerr added a commit to angelozerr/lemminx that referenced this issue Mar 8, 2023
@angelozerr
Provide cancel support for hover
d49fe9d 
Fixes eclipse-lemminx#1474

Signed-off-by: azerr <azerr@redhat.com>
@angelozerr angelozerr mentioned this issue Mar 8, 2023
Merged
@angelozerr angelozerr self-assigned this Mar 8, 2023
@angelozerr angelozerr added this to the 0.25.0 milestone Mar 8, 2023
@angelozerr angelozerr moved this to 👀 In review in IDE Cloudaptors Mar 8, 2023
@angelozerr angelozerr added the enhancement New feature or request label Mar 8, 2023
datho7561 pushed a commit that referenced this issue Mar 22, 2023
@angelozerr @datho7561
Provide cancel support for hover
b34a847 
Fixes #1474

Signed-off-by: azerr <azerr@redhat.com>
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in IDE Cloudaptors Mar 22, 2023
@angelozerr angelozerr mentioned this issue Apr 13, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@angelozerr angelozerr

Labels
enhancement New feature or request hover
Projects
None yet
Milestone
0.25.0
Development

Successfully merging a pull request may close this issue.

Provide cancel support for hover angelozerr/lemminx
2 participants
@angelozerr @datho7561