提交 d613d4ec 编写于 作者: D Daniel Imms

Hide hovers when widget manager is disposed

Fixes #101845
上级 07b7e993
...@@ -23,6 +23,7 @@ export class TerminalWidgetManager implements IDisposable { ...@@ -23,6 +23,7 @@ export class TerminalWidgetManager implements IDisposable {
} }
dispose(): void { dispose(): void {
this.hideHovers();
if (this._container && this._container.parentElement) { if (this._container && this._container.parentElement) {
this._container.parentElement.removeChild(this._container); this._container.parentElement.removeChild(this._container);
this._container = undefined; this._container = undefined;
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册