From a3b0b8a57c58a380d1bdea9caaec85513c81bba6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Mangeonjean?= <loic@codingame.com>
Date: Wed, 18 May 2022 15:09:57 +0200
Subject: [PATCH] Add missing type

---
 src/ts/RemoteCursorManager.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ts/RemoteCursorManager.ts b/src/ts/RemoteCursorManager.ts
index 94c9dac..13e2cb5 100644
--- a/src/ts/RemoteCursorManager.ts
+++ b/src/ts/RemoteCursorManager.ts
@@ -47,7 +47,7 @@ export class RemoteCursorManager {
    * The default values for optional parameters.
    * @internal
    */
-  private static readonly DEFAULT_OPTIONS = {tooltips: true, tooltipDuration: 1};
+  private static readonly DEFAULT_OPTIONS: Partial<IRemoteCursorManagerOptions> = {tooltips: true, tooltipDuration: 1, showTooltipOnHover: false};
 
   /**
    * A counter that generates unique ids for the cursor widgets.