Skip to content

Rerender hover on modifier key press - updates hover on hover definition preview request#235406

Merged
aiday-mar merged 1 commit intomainfrom
established-wren
Dec 6, 2024
Merged

Rerender hover on modifier key press - updates hover on hover definition preview request#235406
aiday-mar merged 1 commit intomainfrom
established-wren

Conversation

@aiday-mar
Copy link
Copy Markdown
Contributor

fixes #167781

@aiday-mar aiday-mar self-assigned this Dec 5, 2024
@aiday-mar aiday-mar marked this pull request as ready for review December 6, 2024 08:29
@aiday-mar aiday-mar enabled auto-merge (squash) December 6, 2024 08:30
@vs-code-engineering vs-code-engineering bot added this to the January 2025 milestone Dec 6, 2024
@aiday-mar aiday-mar merged commit 266cc01 into main Dec 6, 2024
@aiday-mar aiday-mar deleted the established-wren branch December 6, 2024 09:33
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Jan 20, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Pressing cmd with hover open does not peek symbol

2 participants