提交 1091718b 编写于 作者: A Alex Dima

Fixes #6774: Cancel hover operations when hover widgets get disposed

上级 8e0e468f
......@@ -144,6 +144,11 @@ export class ModesContentHoverWidget extends ContentHoverWidget {
);
}
public dispose(): void {
this._hoverOperation.cancel();
super.dispose();
}
public onModelDecorationsChanged(): void {
if (this._isChangingDecorations) {
return;
......
......@@ -93,6 +93,11 @@ export class ModesGlyphHoverWidget extends GlyphHoverWidget {
}
public dispose(): void {
this._hoverOperation.cancel();
super.dispose();
}
public onModelDecorationsChanged(): void {
if (this._isVisible) {
// The decorations have changed and the hover is visible,
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册