Skip to content

Setting to disable scope highlighting on hover #11602

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

Closed
alt-art opened this issue Mar 2, 2022 · 2 comments · Fixed by #13989
Closed

Setting to disable scope highlighting on hover #11602

alt-art opened this issue Mar 2, 2022 · 2 comments · Fixed by #13989
Labels
A-config configuration A-hover hover feature S-actionable Someone could pick this issue up and work on it right now

Comments

@alt-art
Copy link

alt-art commented Mar 2, 2022

I want to disable the functionality of showing types in scopes on hover, but I don't know where is this configuration.

From

image

To

image

No highlighting on hover.

@ChayimFriedman2
Copy link
Contributor

I don't think there is a way to configure that.

@Veykril Veykril added A-config configuration S-actionable Someone could pick this issue up and work on it right now labels Mar 2, 2022
@alt-art alt-art changed the title How I disable hover on scope Setting to disable scope highlighting on hover Mar 2, 2022
@Veykril Veykril added the A-hover hover feature label Jan 19, 2023
bors added a commit that referenced this issue Jan 20, 2023
internal: Remove hover fallback in favor of ranged hover

The fallback is usually more annoying than useful at this point (it messes with the range of diagnostic popups a lot), we now have a ranged hover to check the type of something which works a lot better.

Closes #11602
@bors bors closed this as completed in 303737d Jan 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-config configuration A-hover hover feature S-actionable Someone could pick this issue up and work on it right now
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants