From d613d4ecbb3b3d127484fb00856f178d719ea069 Mon Sep 17 00:00:00 2001
From: Daniel Imms <tyriar@tyriar.com>
Date: Mon, 10 Aug 2020 12:57:43 -0700
Subject: [PATCH] Hide hovers when widget manager is disposed

Fixes #101845
---
 .../workbench/contrib/terminal/browser/widgets/widgetManager.ts  | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts b/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts
index b5bf843ffc7b..f84bacb1cf5e 100644
--- a/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts
+++ b/src/vs/workbench/contrib/terminal/browser/widgets/widgetManager.ts
@@ -23,6 +23,7 @@ export class TerminalWidgetManager implements IDisposable {
 	}
 
 	dispose(): void {
+		this.hideHovers();
 		if (this._container && this._container.parentElement) {
 			this._container.parentElement.removeChild(this._container);
 			this._container = undefined;