Skip to content

cancel hide if still hovered - solves #77490#78377

Merged
isidorn merged 1 commit intomicrosoft:masterfrom
itamark:debug_hover_dont_hide_77490
Aug 5, 2019
Merged

cancel hide if still hovered - solves #77490#78377
isidorn merged 1 commit intomicrosoft:masterfrom
itamark:debug_hover_dont_hide_77490

Conversation

@itamark
Copy link
Contributor

@itamark itamark commented Aug 2, 2019

cancel hide if still hovered - solves #77490

@isidorn isidorn self-assigned this Aug 2, 2019
@isidorn isidorn added this to the August 2019 milestone Aug 2, 2019
@isidorn
Copy link
Collaborator

isidorn commented Aug 2, 2019

I like the solution! Will merge it in on Monday.

@itamark
Copy link
Contributor Author

itamark commented Aug 2, 2019

So exciting! Thanks!

@isidorn isidorn merged commit 9e1e202 into microsoft:master Aug 5, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
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.

2 participants