From 7d740bfa2a95ef3f8f65c98e711010dc7be31d51 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Mon, 10 Nov 2025 14:10:00 +0100 Subject: [PATCH] fix: reset input idle timer when placing the cursor in an editor with the mouse This is so that mouse clicks inside an editor widget may also trigger configured idle_actions. --- src/tui/editor.zig | 1 + src/tui/tui.zig | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/src/tui/editor.zig b/src/tui/editor.zig index 97e36ed..5a86c5c 100644 --- a/src/tui/editor.zig +++ b/src/tui/editor.zig @@ -2502,6 +2502,7 @@ pub const Editor = struct { self.clamp_mouse(); try self.send_editor_jump_destination(); if (self.jump_mode) try self.goto_definition(.{}); + tui.reset_input_idle_timer(); } pub fn primary_double_click(self: *Self, y: c_int, x: c_int) !void { diff --git a/src/tui/tui.zig b/src/tui/tui.zig index 4b7c2de..75058ce 100644 --- a/src/tui/tui.zig +++ b/src/tui/tui.zig @@ -321,6 +321,11 @@ fn update_input_idle_timer(self: *Self) void { self.input_idle_timer = tp.self_pid().delay_send_cancellable(self.allocator, "tui.input_idle_timer", delay, .{"INPUT_IDLE"}) catch return; } +pub fn reset_input_idle_timer() void { + const self = current(); + self.update_input_idle_timer(); +} + fn update_mouse_idle_timer(self: *Self) void { if (!self.enable_mouse_idle_timer) return; const delay = std.time.us_per_ms * @as(u64, mouse_idle_time_milliseconds);