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

Hover delay time is half what editor.hover.delay specifies #140212

Closed
gjsjohnmurray opened this issue Jan 6, 2022 · 3 comments
Closed

Hover delay time is half what editor.hover.delay specifies #140212

gjsjohnmurray opened this issue Jan 6, 2022 · 3 comments
Assignees
@alexdima
Labels
*duplicate Issue identified as a duplicate of another issue(s) editor-hover Editor mouse hover

Comments

@gjsjohnmurray
Copy link
Contributor

Issue Type: Bug

  1. Set editor.hover.delay to 2000
  2. Hover, and observe that the hover appears after 1 second rather than 2 🐛
  3. Set editor.hover.delay to 10000 which is the undocumented clamped maximum for this setting.
  4. Hover, and observe that the hover appears after 5 seconds rather than 10 🐛

VS Code version: Code - Insiders 1.64.0-insider (9afbea7, 2022-01-06T05:15:07.481Z)
OS version: Windows_NT x64 10.0.19044
Restricted Mode: No
@gjsjohnmurray gjsjohnmurray mentioned this issue Jan 6, 2022
Open
@trevyn
Copy link

trevyn commented Jan 6, 2022

Bisected commit mentioned here: #139818 (comment)

@gjsjohnmurray
Copy link
Contributor Author

/assign @alexdima

@gjsjohnmurray gjsjohnmurray mentioned this issue Jan 6, 2022
Closed
@alexdima alexdima mentioned this issue Jan 11, 2022
Closed
@alexdima alexdima added *duplicate Issue identified as a duplicate of another issue(s) editor-hover Editor mouse hover labels Jan 11, 2022
@microsoft microsoft deleted a comment Jan 11, 2022
@alexdima
Copy link
Member

Duplicate of #139818

@alexdima alexdima marked this as a duplicate of #139818 Jan 11, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Feb 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alexdima alexdima

Labels
*duplicate Issue identified as a duplicate of another issue(s) editor-hover Editor mouse hover
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@trevyn @alexdima @gjsjohnmurray and others