diff options
| author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-04-17 21:29:10 -0400 |
|---|---|---|
| committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2022-04-17 21:33:47 -0400 |
| commit | 280e4b741e86ae9637a169345dbd14cf344f69c6 (patch) | |
| tree | eb02ff1482d0af99a8b2b0da53132c9153bcbd9e /src/history.rs | |
| parent | 40e0305aff57be040fbc0b2914a34ae10bc2d83f (diff) | |
code cleanup
Diffstat (limited to 'src/history.rs')
| -rw-r--r-- | src/history.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/history.rs b/src/history.rs index 9e0c558..80afa37 100644 --- a/src/history.rs +++ b/src/history.rs @@ -134,7 +134,7 @@ pub fn create_dirlist_with_history( contents.sort_by(|f1, f2| sort_options.compare(f1, f2)); let contents_len = contents.len(); - let index: Option<usize> = if contents_len == 0 { + let index = if contents_len == 0 { None } else { match history.get(path) { |