mirror of
https://github.com/extrawurst/gitui.git
synced 2024-11-30 11:46:20 +03:00
bf31f20657
The default polling rate of 1 second causes a 1 second delay when queuing the event to launch the external editor, causing latency. However, a slower polling helps reduce CPU usage, so let's have a short polling duration as long as there are input events, and slow poll otherwise. Since the external editor among other components (not tested) is always launched in response to an input event, we reduce the latency to ~100ms, which is the fast poll duration. Co-authored-by: extrawurst <776816+extrawurst@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| components | ||
| keys | ||
| tabs | ||
| ui | ||
| app.rs | ||
| args.rs | ||
| bug_report.rs | ||
| clipboard.rs | ||
| cmdbar.rs | ||
| input.rs | ||
| main.rs | ||
| notify_mutex.rs | ||
| options.rs | ||
| popup_stack.rs | ||
| profiler.rs | ||
| queue.rs | ||
| spinner.rs | ||
| string_utils.rs | ||
| strings.rs | ||
| version.rs | ||
| watcher.rs | ||