diff options
author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 23:16:20 -0400 |
---|---|---|
committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 23:16:20 -0400 |
commit | b6db70f088a0bd42ad7e37c4b7a8db27dd154843 (patch) | |
tree | 079b29efc7aa3f449b9e31b54821ce7b8812eaf6 /src/ui/widgets/tui_dirlist_detailed.rs | |
parent | 93d2a18674e6c9c929aeb08c489488fd7b185f04 (diff) |
rename case_sensitive_ext to case_insensitive_ext
- make case_insensitive_ext option work with themes as well
Diffstat (limited to 'src/ui/widgets/tui_dirlist_detailed.rs')
-rw-r--r-- | src/ui/widgets/tui_dirlist_detailed.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ui/widgets/tui_dirlist_detailed.rs b/src/ui/widgets/tui_dirlist_detailed.rs index 0b203fe..7b31300 100644 --- a/src/ui/widgets/tui_dirlist_detailed.rs +++ b/src/ui/widgets/tui_dirlist_detailed.rs @@ -86,11 +86,11 @@ impl<'a> Widget for TuiDirListDetailed<'a> { let ix = skip_dist + i; let style = if !self.focused { - style::entry_style(entry) + style::entry_style(self.config, entry) } else if ix == curr_index { - style::entry_style(entry).add_modifier(Modifier::REVERSED) + style::entry_style(self.config, entry).add_modifier(Modifier::REVERSED) } else { - style::entry_style(entry) + style::entry_style(self.config, entry) }; buf.set_string(x, y + i as u16, space_fill.as_str(), style); @@ -156,7 +156,7 @@ fn print_entry( #[cfg(feature = "devicons")] let label = { if config.display_options_ref().show_icons() { - let icon = get_entry_icon(&config, entry.file_name(), entry.ext(), &entry.metadata); + let icon = get_entry_icon(config, entry.file_name(), entry.ext(), &entry.metadata); format!("{icon} {name}") } else { name.to_string() |