src/vs/editor/browser/view/viewController.ts/ViewController/emitMouseLeave
class ViewController:	public emitMouseLeave(e: IPartialEditorMouseEvent): void {
		this.userInputEvents.emitMouseLeave(e);
	}