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

Adding the possibility to enrich hovers with additional data #210472

Merged
merged 110 commits into from
Apr 19, 2024

Conversation

aiday-mar
Copy link
Contributor

PR which adds the possibility to enrich hovers with additional data

@aiday-mar aiday-mar self-assigned this Apr 16, 2024
@aiday-mar aiday-mar requested a review from hediet April 19, 2024 14:38
@aiday-mar aiday-mar marked this pull request as ready for review April 19, 2024 14:38
@aiday-mar aiday-mar enabled auto-merge (squash) April 19, 2024 14:39
@VSCodeTriageBot VSCodeTriageBot added this to the April 2024 milestone Apr 19, 2024
@aiday-mar aiday-mar merged commit b8eba5d into main Apr 19, 2024
6 checks passed
@aiday-mar aiday-mar deleted the aiday/hoverExtension2 branch April 19, 2024 17:17
sergioengineer pushed a commit to sergioengineer/VimSCode that referenced this pull request Apr 23, 2024
…ft#210472)

Adding the possibility to enrich hovers with additional data
@microsoft microsoft locked and limited conversation to collaborators Jun 5, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants