terminal: note some search thread TODOs we can address later

pull/9602/head
Mitchell Hashimoto 2025-11-15 13:47:49 -08:00
parent f0af63db15
commit 90a6ea7aa5
No known key found for this signature in database
GPG Key ID: 523D5DC389D273BC
1 changed files with 7 additions and 0 deletions

View File

@ -28,6 +28,13 @@ const ViewportSearch = @import("viewport.zig").ViewportSearch;
const log = std.log.scoped(.search_thread);
// TODO: Some stuff that could be improved:
// - pause the refresh timer when the terminal isn't focused
// - we probably want to know our progress through the search
// for viewport matches so we can show n/total UI.
// - notifications should be coalesced to avoid spamming a massive
// amount of events if the terminal is changing rapidly.
/// The interval at which we refresh the terminal state to check if
/// there are any changes that require us to re-search. This should be
/// balanced to be fast enough to be responsive but not so fast that