Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Close Monaco Editor Tokens hover with escape key #90733

Merged
merged 3 commits into from
Feb 17, 2020
Merged

Close Monaco Editor Tokens hover with escape key #90733

merged 3 commits into from
Feb 17, 2020

Conversation

nrayburn-tech
Copy link
Contributor

Adds a way to close the token hover for a monaco editor.

Open a Monaco editor
Use the command palette to select Inspect Tokens
Use the Escape key to close the hover

This PR fixes #1787

@nrayburn-tech nrayburn-tech reopened this Feb 15, 2020
@alexdima alexdima added this to the February 2020 milestone Feb 17, 2020
@alexdima
Copy link
Member

Thank you!

@alexdima alexdima merged commit 7149707 into microsoft:master Feb 17, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Apr 2, 2020
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Inspect Editor Tokens - hover stays open
3 participants