diff options
| author | Michael Davis | 2023-03-07 16:33:46 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-03-08 01:49:32 +0000 |
| commit | 563ac1a3cb7e909b345cf5c892c3bcf39b2e32a4 (patch) | |
| tree | 5ead0bc5abdc17d38289e213f776a00e0456ad46 /runtime/queries/dockerfile | |
| parent | 611701c36290b81c3c51ed30c49245f341a580e8 (diff) | |
tui: Log keyboard enhancement query time
In my testing this takes around 3-4ms in terminals that support the
enhanced keyboard protocol (Kitty, WezTerm) and a few hundred
microseconds in terminals that don't (st, Alacritty).
Diffstat (limited to 'runtime/queries/dockerfile')
0 files changed, 0 insertions, 0 deletions