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

Allowing to add more information to the hover #204721

Closed
wants to merge 102 commits into from
Closed

Conversation

aiday-mar
Copy link
Contributor

@aiday-mar aiday-mar commented Feb 8, 2024

Fixes #195394

@aiday-mar aiday-mar self-assigned this Feb 8, 2024
@aiday-mar aiday-mar disabled auto-merge April 19, 2024 15:16
@aiday-mar aiday-mar closed this Apr 19, 2024
@starball5
Copy link

I'm a bit confused about the status. What happened? Is this not getting merged? What will happen next?

@aiday-mar
Copy link
Contributor Author

Hi @starball5 yes so the code has been merged albeit in a different PR here #210472. The two PRs differ by their memory management logic but essentially otherwise are the same.

@Hasan-Mir
Copy link

How can we enable it in vscode?

@aiday-mar
Copy link
Contributor Author

Hi @Hasan-Mir you can pull the editor hover verbosity proposed API by placing the following in your extension's package.json file:

 "enabledApiProposals": [
    "editorHoverVerbosityLevel"
  ]

and pulling the proposed API using the terminal command:

npx @vscode/dts dev

@microsoft microsoft locked and limited conversation to collaborators Jun 13, 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.

API for showing additional info in a hover
5 participants