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