From ee4740005e79d872cd19be1346faa1c66675232c Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Wed, 21 Jul 2021 11:46:26 +0200 Subject: [PATCH] use default hover delay time --- .../workbench/contrib/extensions/browser/extensionsWidgets.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/extensions/browser/extensionsWidgets.ts b/src/vs/workbench/contrib/extensions/browser/extensionsWidgets.ts index 15719a2437e33..239748384ef00 100644 --- a/src/vs/workbench/contrib/extensions/browser/extensionsWidgets.ts +++ b/src/vs/workbench/contrib/extensions/browser/extensionsWidgets.ts @@ -438,6 +438,7 @@ export class ExtensionHoverWidget extends ExtensionWidget { private readonly recommendationWidget: RecommendationWidget, @IExtensionsWorkbenchService private readonly extensionsWorkbenchService: IExtensionsWorkbenchService, @IHoverService private readonly hoverService: IHoverService, + @IConfigurationService private readonly configurationService: IConfigurationService, ) { super(); } @@ -446,7 +447,7 @@ export class ExtensionHoverWidget extends ExtensionWidget { this.hover.value = undefined; if (this.extension) { this.hover.value = setupCustomHover({ - delay: 500, + delay: this.configurationService.getValue('workbench.hover.delay'), showHover: (options) => { return this.hoverService.showHover({ ...options,