diff options
| author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-07-01 10:56:48 -0400 |
|---|---|---|
| committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-07-01 10:56:48 -0400 |
| commit | 18e13c98d364964df6bb481bb103e262f6e8f0a5 (patch) | |
| tree | 487dd98305b83b7886be28cce58eb0807452da86 /src/preview/preview_default.rs | |
| parent | 27d624c536f4ef9de2ddedc2be8dab330858afdc (diff) | |
add ability to check whether a preview is outdated
Diffstat (limited to 'src/preview/preview_default.rs')
| -rw-r--r-- | src/preview/preview_default.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/preview/preview_default.rs b/src/preview/preview_default.rs index 8a216c9..bb5ea64 100644 --- a/src/preview/preview_default.rs +++ b/src/preview/preview_default.rs @@ -23,7 +23,12 @@ pub fn load_preview_path(context: &mut AppContext, p: path::PathBuf, metadata: J let need_to_load = context .preview_context_ref() .get_preview_ref(p.as_path()) - .is_none(); + .map(|p| { + p.as_ref() + .map(|p| p.modified < metadata.modified()) + .unwrap_or(true) + }) + .unwrap_or(true); if need_to_load { preview_file::Background::preview_path_with_script(context, p); |