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);