diff options
| author | Alexandre Courbot <gnurou@gmail.com> | 2021-10-25 23:51:30 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-25 16:51:30 +0200 |
| commit | 21380c278e6dcd26dd883461224d2291fa0aa522 (patch) | |
| tree | 3700dd11af98c5fb5cbce381e8e8774ed0b3cd2a /src | |
| parent | fix(style): fix clippy lints in `remote_runner` (diff) | |
| download | sl0ppij-21380c278e6dcd26dd883461224d2291fa0aa522.tar.gz sl0ppij-21380c278e6dcd26dd883461224d2291fa0aa522.tar.xz sl0ppij-21380c278e6dcd26dd883461224d2291fa0aa522.zip | |
fix(performance): immediately render after a period of inactivity (#798)
The current code waits for 30ms after reading new data to refresh the
screen in order to batch input together. This reduces the number of
refreshes, but also adds perceptible latency as keystrokes will only get
visual feedback after a 30 ms delay.
Improve this by immediately refreshing if more than 30ms have already
passed since the last refresh. That way punctual events like keystrokes
get immediate feedback, while heavier input still gets batched together.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions