From 032eb30c45491c063ee3ac1c7de0ddff8612c620 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Mon, 4 Aug 2025 10:53:46 +0200
Subject: [PATCH] fix: bump hover time to 500ms

---
 src/tui/editor.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tui/editor.zig b/src/tui/editor.zig
index 1ddd635..9fa8948 100644
--- a/src/tui/editor.zig
+++ b/src/tui/editor.zig
@@ -6159,7 +6159,7 @@ pub const EditorWidget = struct {
         }
         if (event == .init) {
             self.hover_mouse_event = false;
-            const delay_us: u64 = std.time.us_per_ms * 100;
+            const delay_us: u64 = std.time.us_per_ms * 500;
             self.hover_timer = tp.self_pid().delay_send_cancellable(self.editor.allocator, "editor.hover_timer", delay_us, .{"HOVER"}) catch null;
         }
     }