removing mouse event which is not needed

This commit is contained in:
Aiday Marlen Kyzy
2023-08-30 14:03:49 +02:00
parent 2ab18236b6
commit 9ff71daeca
@@ -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>(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) {