diff options
| author | Sebastian Thiel <sebastian.thiel@icloud.com> | 2024-01-10 09:02:13 +0100 |
|---|---|---|
| committer | Piotr Wach <pwach@bloomberg.net> | 2024-01-10 20:48:54 +0000 |
| commit | 30d8dd5fb54ef6db8b4444524407f15db25d7b02 (patch) | |
| tree | 97f69a9f6d2948b62e06c8dde56039aea3357047 /src/interactive/app/terminal.rs | |
| parent | 0ad90ba23e59b98ccca198ce075e582c93d13c5c (diff) | |
add `R` to trigger a full refresh (PoC)
- it doesn't deal with sub-trees - for that it would need awareness of the
method that integrates tree events.
- selection handling isn't implemented, so the selection just disappears.
- if the root to be refreshed still exists, it should probably keep it selected
instead of removing it.
- it seems useful to have some control over the scope of the refresh, and these
are sketched with the `Refresh` enum.
Diffstat (limited to 'src/interactive/app/terminal.rs')
0 files changed, 0 insertions, 0 deletions