diff options
author | rabite <rabite@posteo.de> | 2019-03-20 23:38:58 +0100 |
---|---|---|
committer | rabite <rabite@posteo.de> | 2019-03-20 23:38:58 +0100 |
commit | 095cd1074e5240433de67b9ffd052c0555dabd8e (patch) | |
tree | 00710f64ef7eca106679371217c36d1fcbb61a24 /src/preview.rs | |
parent | fc2d6d268c6059981422bbe6879f887a5856a7e5 (diff) |
filtering by name
Diffstat (limited to 'src/preview.rs')
-rw-r--r-- | src/preview.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/preview.rs b/src/preview.rs index ca99f83..4c51ceb 100644 --- a/src/preview.rs +++ b/src/preview.rs @@ -303,8 +303,8 @@ impl Previewer { pub fn set_file(&mut self, file: &File, selection: Option<File>, - cached_files: Option<Files>) { - if Some(file) == self.file.as_ref() { return } + cached_files: Option<Files>) -> HResult<()> { + if Some(file) == self.file.as_ref() && !self.widget.is_stale()? { return Ok(()) } self.file = Some(file.clone()); self.selection = selection.clone(); self.cached_files = cached_files.clone(); @@ -345,6 +345,7 @@ impl Previewer { return Ok(blank) } })))); + Ok(()) } pub fn reload(&mut self) { |