Skip to content

add custom hover for quick open title bar buttons#191416

Merged
TylerLeonhardt merged 4 commits intomicrosoft:mainfrom
Kalmaegi:quick_open
Aug 30, 2023
Merged

add custom hover for quick open title bar buttons#191416
TylerLeonhardt merged 4 commits intomicrosoft:mainfrom
Kalmaegi:quick_open

Conversation

@Kalmaegi
Copy link
Contributor

for: #186347

}));

const delayer = new ThrottledDelayer(options.hoverDelegate.delay);
const delayer = new ThrottledDelayer(options.hoverDelegate ? options.hoverDelegate.delay : 200);
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All this stuff with the delayer and this.showHover is only going to happen if there is a hoverDelegate. Instead of doing the check for this.options.hoverDelegate in all these places, can you just not do any of this stuff if this.options.hoverDelegate isn't defined?

@TylerLeonhardt TylerLeonhardt enabled auto-merge (squash) August 30, 2023 00:33
@TylerLeonhardt
Copy link
Member

Thanks for your patience! Great work :)

@vscodenpa vscodenpa added this to the August 2023 milestone Aug 30, 2023
@TylerLeonhardt TylerLeonhardt changed the title add custom hover for quick open add custom hover for quick open title bar buttons Aug 30, 2023
@TylerLeonhardt TylerLeonhardt merged commit 046cfbf into microsoft:main Aug 30, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Oct 14, 2023
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.

4 participants