diff options
author | Canop <cano.petrole@gmail.com> | 2020-12-13 16:41:35 +0100 |
---|---|---|
committer | Canop <cano.petrole@gmail.com> | 2020-12-13 17:22:07 +0100 |
commit | 2c06c7ca0a580618d932325e15d8d40e7640f24d (patch) | |
tree | 5764d009d564a514a285426be6ce497cc65660c9 /src/app/selection.rs | |
parent | ee4f93f4919be4e716bb9b73476473bbc8bd7159 (diff) |
keep selection visible on unfiltering
The selection was sometimes scrolled away on unfiltering.
Also change some formatting.
Diffstat (limited to 'src/app/selection.rs')
-rw-r--r-- | src/app/selection.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/app/selection.rs b/src/app/selection.rs index 4a106f0..7b72a9a 100644 --- a/src/app/selection.rs +++ b/src/app/selection.rs @@ -70,4 +70,3 @@ impl Selection<'_> { } } - |