diff options
| author | Jackson Moore <jacksonmoore@tuta.io> | 2026-09-04 12:45:10 +0200 |
|---|---|---|
| committer | Jackson Moore <jacksonmoore@tuta.io> | 2026-09-04 12:45:10 +0200 |
| commit | 800ec4fae75b9bfb69b132ddffc28d88c8690a3b (patch) | |
| tree | 9271569157983d1536b30f40241501b19cbb8347 /lua/clever_f/feedback_service.lua | |
| parent | f52894183ed7f8f0d19afc095fe711f35d6847f7 (diff) | |
Reject stale timer callbacks
Diffstat (limited to 'lua/clever_f/feedback_service.lua')
| -rw-r--r-- | lua/clever_f/feedback_service.lua | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lua/clever_f/feedback_service.lua b/lua/clever_f/feedback_service.lua index d84fcb3..edaa39d 100644 --- a/lua/clever_f/feedback_service.lua +++ b/lua/clever_f/feedback_service.lua @@ -712,8 +712,11 @@ function FeedbackService:cancel_highlight_timer() return identity end -function FeedbackService:handle_highlight_timer() - return false +function FeedbackService:handle_highlight_timer(callback_identity) + if callback_identity == nil then + fail("highlight timer callback identity must be present", 2) + end + return callback_identity == service_records[self].state.highlight_timer end function FeedbackService:start_highlight_timer() |