From a9e67cddfed3673be4e91dbe71f31cc3e7456d55 Mon Sep 17 00:00:00 2001
From: Aiday Marlen Kyzy <amarlenkyzy@microsoft.com>
Date: Fri, 18 Aug 2023 17:06:34 +0200
Subject: [PATCH] adding a setting in order to be able to control the hiding
 timeout delay

---
 src/vs/editor/common/config/editorOptions.ts | 13 +++++++++++++
 src/vs/editor/contrib/hover/browser/hover.ts |  4 +++-
 src/vs/monaco.d.ts                           |  5 +++++
 3 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/src/vs/editor/common/config/editorOptions.ts b/src/vs/editor/common/config/editorOptions.ts
index eee7baf03c6..b9a7019a0ff 100644
--- a/src/vs/editor/common/config/editorOptions.ts
+++ b/src/vs/editor/common/config/editorOptions.ts
@@ -2031,6 +2031,11 @@ export interface IEditorHoverOptions {
 	 * Defaults to true.
 	 */
 	sticky?: boolean;
+	/**
+	 * Controls how long the hover is visible after you hovered out of it.
+	 * Require sticky setting to be true.
+	 */
+	hidingTimeout?: number;
 	/**
 	 * Should the hover be shown above the line if possible?
 	 * Defaults to false.
@@ -2049,6 +2054,7 @@ class EditorHover extends BaseEditorOption<EditorOption.hover, IEditorHoverOptio
 		const defaults: EditorHoverOptions = {
 			enabled: true,
 			delay: 300,
+			hidingTimeout: 750,
 			sticky: true,
 			above: true,
 		};
@@ -2072,6 +2078,12 @@ class EditorHover extends BaseEditorOption<EditorOption.hover, IEditorHoverOptio
 					default: defaults.sticky,
 					description: nls.localize('hover.sticky', "Controls whether the hover should remain visible when mouse is moved over it.")
 				},
+				'editor.hover.hidingTimeout': {
+					type: 'integer',
+					minimum: 0,
+					default: defaults.hidingTimeout,
+					description: nls.localize('hover.hidingTimeout', "Controls how long the hover should remain visible after the mouse is hovered out of it in milliseconds. Requires `editor.hover.sticky` to be enabled.")
+				},
 				'editor.hover.above': {
 					type: 'boolean',
 					default: defaults.above,
@@ -2090,6 +2102,7 @@ class EditorHover extends BaseEditorOption<EditorOption.hover, IEditorHoverOptio
 			enabled: boolean(input.enabled, this.defaultValue.enabled),
 			delay: EditorIntOption.clampedInt(input.delay, this.defaultValue.delay, 0, 10000),
 			sticky: boolean(input.sticky, this.defaultValue.sticky),
+			hidingTimeout: EditorIntOption.clampedInt(input.hidingTimeout, this.defaultValue.hidingTimeout, 0, 600000),
 			above: boolean(input.above, this.defaultValue.above),
 		};
 	}
diff --git a/src/vs/editor/contrib/hover/browser/hover.ts b/src/vs/editor/contrib/hover/browser/hover.ts
index f8685fe7310..dce5a33c83f 100644
--- a/src/vs/editor/contrib/hover/browser/hover.ts
+++ b/src/vs/editor/contrib/hover/browser/hover.ts
@@ -54,6 +54,7 @@ export class ModesHoverController implements IEditorContribution {
 	private _hoverClicked: boolean;
 	private _isHoverEnabled!: boolean;
 	private _isHoverSticky!: boolean;
+	private _hidingTimeoutDelay!: number;
 	private _hoverActivatedByColorDecoratorClick: boolean = false;
 	private _mouseWasOverWidget: boolean = false;
 	private _hideWidgetsTimeout: NodeJS.Timeout | undefined;
@@ -89,6 +90,7 @@ export class ModesHoverController implements IEditorContribution {
 		const hoverOpts = this._editor.getOption(EditorOption.hover);
 		this._isHoverEnabled = hoverOpts.enabled;
 		this._isHoverSticky = hoverOpts.sticky;
+		this._hidingTimeoutDelay = hoverOpts.hidingTimeout;
 		if (this._isHoverEnabled) {
 			this._toUnhook.add(this._editor.onMouseDown((e: IEditorMouseEvent) => this._onEditorMouseDown(e)));
 			this._toUnhook.add(this._editor.onMouseUp((e: IEditorMouseEvent) => this._onEditorMouseUp(e)));
@@ -255,7 +257,7 @@ export class ModesHoverController implements IEditorContribution {
 			this._hideWidgetsTimeout = setTimeout(() => {
 				this._hideWidgets();
 				this._hideWidgetsTimeout = undefined;
-			}, 1000);
+			}, this._hidingTimeoutDelay);
 			this._mouseWasOverWidget = false;
 		} else {
 			this._hideWidgets();
diff --git a/src/vs/monaco.d.ts b/src/vs/monaco.d.ts
index 8fbfcd493ae..15d7529a5e3 100644
--- a/src/vs/monaco.d.ts
+++ b/src/vs/monaco.d.ts
@@ -4168,6 +4168,11 @@ declare namespace monaco.editor {
 		 * Defaults to true.
 		 */
 		sticky?: boolean;
+		/**
+		 * Controls how long the hover is visible after you hovered out of it.
+		 * Require sticky setting to be true.
+		 */
+		hidingTimeout?: number;
 		/**
 		 * Should the hover be shown above the line if possible?
 		 * Defaults to false.