src/vs/editor/browser/view/viewUserInputEvents.ts/ViewUserInputEvents/emitMouseLeave
class ViewUserInputEvents:	public emitMouseLeave(e: IPartialEditorMouseEvent): void {
		this.onMouseLeave?.(this._convertViewToModelMouseEvent(e));
	}