diff options
| author | Jiayi Zhao <jeff.no.zhao@gmail.com> | 2020-10-11 15:11:15 -0400 |
|---|---|---|
| committer | Jiayi Zhao <jeff.no.zhao@gmail.com> | 2020-10-11 15:11:15 -0400 |
| commit | f42fc9d677561c5f76f6c0c76b64755f07aed74d (patch) | |
| tree | ab72ac1e713004ae6013d24c9663f04a20328b3b /src/ui | |
| parent | ef1c0d32ed85f7ea54114f674ffbff2923e03040 (diff) | |
| parent | 37202ade323bd4346595adb58b9d861f63c8747b (diff) | |
Merge branch 'master' into dev
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/widgets/tui_dirlist.rs | 2 | ||||
| -rw-r--r-- | src/ui/widgets/tui_dirlist_detailed.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/ui/widgets/tui_dirlist.rs b/src/ui/widgets/tui_dirlist.rs index e425706..32ded90 100644 --- a/src/ui/widgets/tui_dirlist.rs +++ b/src/ui/widgets/tui_dirlist.rs @@ -52,7 +52,7 @@ impl<'a> Widget for TuiDirList<'a> { .enumerate() .take(area.height as usize) { - let name = entry.file_name(); + let name = entry.label(); let name_width = name.width(); let style = if i == screen_index { diff --git a/src/ui/widgets/tui_dirlist_detailed.rs b/src/ui/widgets/tui_dirlist_detailed.rs index 8d27a92..142757e 100644 --- a/src/ui/widgets/tui_dirlist_detailed.rs +++ b/src/ui/widgets/tui_dirlist_detailed.rs @@ -53,7 +53,7 @@ impl<'a> Widget for TuiDirListDetailed<'a> { .enumerate() .take(area.height as usize) { - let name = entry.file_name(); + let name = entry.label(); let name_width = name.width(); let style = if i == screen_index { |