diff options
| -rw-r--r-- | helix-tui/src/backend/crossterm.rs | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/helix-tui/src/backend/crossterm.rs b/helix-tui/src/backend/crossterm.rs index 7c512ce3..fba1f029 100644 --- a/helix-tui/src/backend/crossterm.rs +++ b/helix-tui/src/backend/crossterm.rs @@ -76,7 +76,18 @@ where #[inline] fn supports_keyboard_enhancement_protocol(&self) -> io::Result<bool> { self.supports_keyboard_enhancement_protocol - .get_or_try_init(terminal::supports_keyboard_enhancement) + .get_or_try_init(|| { + use std::time::Instant; + + let now = Instant::now(); + let support = terminal::supports_keyboard_enhancement(); + log::debug!( + "The keyboard enhancement protocol is {}supported in this terminal (checked in {:?})", + if matches!(support, Ok(true)) { "" } else { "not " }, + Instant::now().duration_since(now) + ); + support + }) .copied() } } @@ -111,7 +122,6 @@ where execute!(self.buffer, EnableMouseCapture)?; } if self.supports_keyboard_enhancement_protocol()? { - log::debug!("The enhanced keyboard protocol is supported on this terminal"); execute!( self.buffer, PushKeyboardEnhancementFlags( @@ -119,8 +129,6 @@ where | KeyboardEnhancementFlags::REPORT_ALTERNATE_KEYS ) )?; - } else { - log::debug!("The enhanced keyboard protocol is not supported on this terminal"); } Ok(()) } |