From 22f838a2da9ef14c42c7b9c7b1be556e648f3506 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Tue, 13 Aug 2024 23:10:09 +0200
Subject: [PATCH] fix: deinit tui.mouse_idle_timer after it fires

---
 src/tui/tui.zig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tui/tui.zig b/src/tui/tui.zig
index 0639d8b..faac039 100644
--- a/src/tui/tui.zig
+++ b/src/tui/tui.zig
@@ -318,6 +318,8 @@ fn receive_safe(self: *Self, from: tp.pid_ref, m: tp.message) !void {
         return;
 
     if (try m.match(.{"MOUSE_IDLE"})) {
+        if (self.mouse_idle_timer) |*t| t.deinit();
+        self.mouse_idle_timer = null;
         try self.clear_hover_focus();
         return;
     }