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

Disable hover but keep Ctrl+Hover #72025

Open
Magenda opened this issue Apr 9, 2019 · 2 comments
Open

Disable hover but keep Ctrl+Hover #72025

Magenda opened this issue Apr 9, 2019 · 2 comments
Assignees
@aiday-mar
Labels
editor-hover Editor mouse hover feature-request Request for new features or functionality under-discussion Issue is under discussion for relevance, priority, approach
Milestone
Backlog

Comments

@Magenda
Copy link

Magenda commented Apr 9, 2019

Hover can be very frustrating when selecting text etc. Longer delay (eg 1500ms) solves this but when you actually need the hover information it is frustrating to wait.

Having the full hover information by pressing control and hover the mouse on specific code is very nice. Please leave this functionality while let us disable the simple hover (the one without pressing Ctrl). In other words separate "hover" and "ctrl+hover" functionalities, with two seaparate options for turning them on/off.
@vscodebot vscodebot bot added the editor-contrib Editor collection of extras label Apr 9, 2019
@alexdima alexdima added editor-hover Editor mouse hover and removed editor-contrib Editor collection of extras labels May 6, 2019
@alexdima
Copy link
Member

alexdima commented May 6, 2019

You could also use ctrl+k ctrl+i to avoid waiting (or bind Show Hover to another keybinding)

@alexdima alexdima added the feature-request Request for new features or functionality label May 6, 2019
@alexdima alexdima removed their assignment Oct 11, 2019
@alexdima alexdima added this to the Backlog Candidates milestone Oct 27, 2021
@aiday-mar aiday-mar self-assigned this Mar 2, 2023
@aiday-mar
Copy link
Contributor

Hi, as @alexdima mentioned there is already the keybinding ctrl + k, ctrl + i that can be used to make a hover appear (if possible) at the cursor location and then make it focused if it already is visible. These keybindings work even if hover is disabled. Do you think given this, you would still want ctrl + hover to be available when the hover is disabled?

@aiday-mar aiday-mar added the under-discussion Issue is under discussion for relevance, priority, approach label Dec 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aiday-mar aiday-mar

Labels
editor-hover Editor mouse hover feature-request Request for new features or functionality under-discussion Issue is under discussion for relevance, priority, approach
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
4 participants
@Magenda @alexdima @aiday-mar and others