diff --git a/src/vs/editor/contrib/hover/browser/hover.ts b/src/vs/editor/contrib/hover/browser/hover.ts index 900c2da7c5b..a536b905d48 100644 --- a/src/vs/editor/contrib/hover/browser/hover.ts +++ b/src/vs/editor/contrib/hover/browser/hover.ts @@ -58,7 +58,6 @@ export class ModesHoverController implements IEditorContribution { private _hoverActivatedByColorDecoratorClick: boolean = false; private _mouseWasOverWidget: boolean = false; private _hideWidgetsTimeout: any; - private _mouseMoveEvent: IEditorMouseEvent | undefined; static get(editor: ICodeEditor): ModesHoverController | null { return editor.getContribution(ModesHoverController.ID); @@ -83,9 +82,6 @@ export class ModesHoverController implements IEditorContribution { this._hookEvents(); } })); - this._store.add(this._editor.onMouseLeave(() => { - this._mouseMoveEvent = undefined; - })); } private _hookEvents(): void { @@ -199,7 +195,6 @@ export class ModesHoverController implements IEditorContribution { } private _onEditorMouseMove(mouseEvent: IEditorMouseEvent): void { - this._mouseMoveEvent = mouseEvent; const mouseIsOverWidget = this._isMouseOverWidget(mouseEvent); // If the mouse is over the widget and the hiding timeout is defined, then cancel it if (mouseIsOverWidget) {