diff options
Diffstat (limited to 'web/script/player')
| -rw-r--r-- | web/script/player/mod.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/script/player/mod.ts b/web/script/player/mod.ts index 3774c62..59aae99 100644 --- a/web/script/player/mod.ts +++ b/web/script/player/mod.ts @@ -310,7 +310,7 @@ function send_player_progress(node_id: string, player: Player) { function mouse_idle(e: HTMLElement, timeout: number): OVar<boolean> { let ct: number; const idle = new OVar(false) - e.onmouseleave = () => { + e.onmouseleave = () => { clearTimeout(ct) } e.onmousemove = () => { |