ab994e3c82
* Batch input events and only query once they are finished This simplifies the code a lot (no more bounded channel) and yields the same performance improvement with scroll wheel spam while fixing copy/paste * Clippy * fmt * Use blocking wait before emptying events channel This was causing a busy loop * Update query on filter mode change |
||
|---|---|---|
| .. | ||
| command | ||
| shell | ||
| main.rs | ||