Skip to content

add separate option for disableProvideHover#286

Open
madgamer98 wants to merge 1 commit into
psalm:masterfrom
madgamer98:disable-provide-hover-option
Open

add separate option for disableProvideHover#286
madgamer98 wants to merge 1 commit into
psalm:masterfrom
madgamer98:disable-provide-hover-option

Conversation

@madgamer98
Copy link
Copy Markdown

I personally run other extensions that handle PHP method / property definitions for hover and autocomplete and while the extension currently has an option to disable the autocomplete it doesn't have one to disable the hover provider.

Looking at the psalm Language Server code I noticed that there was already a flag to disable the hover provider so I've added an option in the plugin to send that flag over when starting the Language Server.

The additions are made the same way that the 'Disable Auto Complete' option was passing along the
--enable-provide-hover=false flag to the Language Server.

@mcelligottnick
Copy link
Copy Markdown

This would be great please!!!

@mcelligottnick
Copy link
Copy Markdown

Anyone able to merge/deploy this?

@tm1000
Copy link
Copy Markdown
Collaborator

tm1000 commented Jan 7, 2026

I'm attempting to set some time aside to get to this

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.

3 participants