From 9cedeadf6ad1184873d99afd9b7f77d4646b0452 Mon Sep 17 00:00:00 2001 From: aibrahim-oai Date: Thu, 17 Jul 2025 17:00:17 -0700 Subject: [PATCH] change the default debounce rate to 10ms (#1606) changed the default debounce rate to 10ms because typing was laggy. Before: https://github.com/user-attachments/assets/e5d15fcb-6a2b-4837-b2b4-c3dcb4cc3409 After https://github.com/user-attachments/assets/6f0005eb-fd49-4130-ba68-635ee0f2831f --- codex-rs/tui/src/app.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/codex-rs/tui/src/app.rs b/codex-rs/tui/src/app.rs index 397c0dc9..d8af5d33 100644 --- a/codex-rs/tui/src/app.rs +++ b/codex-rs/tui/src/app.rs @@ -26,7 +26,7 @@ use std::thread; use std::time::Duration; /// Time window for debouncing redraw requests. -const REDRAW_DEBOUNCE: Duration = Duration::from_millis(100); +const REDRAW_DEBOUNCE: Duration = Duration::from_millis(10); /// Top-level application state: which full-screen view is currently active. #[allow(clippy::large_enum_variant)]