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

[Escape] can not hide tooltip normally shown with mouse hover when called via shortkey command #102198

Closed
Fred-Vatin opened this issue Jul 11, 2020 · 0 comments
Closed

[Escape] can not hide tooltip normally shown with mouse hover when called via shortkey command #102198

Fred-Vatin opened this issue Jul 11, 2020 · 0 comments
Assignees
@alexdima
Labels
bug Issue identified by VS Code Team member as probable bug editor-hover Editor mouse hover insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Milestone
July 2020

Comments

@Fred-Vatin
Copy link

VS Code version OS
1.47.0 Win 10 x64 pro (french) 18363.900

Steps to reproduce

  1. use this setting "editor.hover.enabled": false
  2. call the info tooltip with shortcuts (default is CTRL+K CTRL+I
  3. after the tooltip shows up, press [escape] to hide

Results

It fails. Tooltip keeps being there and will only be removed after the mouse move. It works only if "editor.hover.enabled": true

Expectations

This tooltip should hide when pressing [escape]

Workaround

Set as fallow :

"editor.hover.delay": 5000, // or even higher value if you want to emulate a disable state
"editor.hover.enabled": true,

Does this issue occur when all extensions are disabled ? : Yes
This was referenced Jul 11, 2020
Closed
Closed
Closed
Open
@alexdima alexdima added bug Issue identified by VS Code Team member as probable bug editor-hover Editor mouse hover labels Jul 21, 2020
@alexdima alexdima added this to the July 2020 milestone Jul 21, 2020
sbatten pushed a commit to sbatten/vscode that referenced this issue Jul 21, 2020
@alexdima @sbatten
Fixes microsoft#102198
8a0ada8
@gjsjohnmurray gjsjohnmurray mentioned this issue Jul 29, 2020
Closed
@connor4312 connor4312 added the verified Verification succeeded label Aug 6, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Sep 4, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alexdima alexdima

Labels
bug Issue identified by VS Code Team member as probable bug editor-hover Editor mouse hover insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
July 2020
Development

No branches or pull requests
4 participants
@connor4312 @alexdima @Fred-Vatin and others