summaryrefslogtreecommitdiffstats
path: root/src/tree/tree_options.rs
diff options
context:
space:
mode:
authorCanop <cano.petrole@gmail.com>2020-12-13 16:41:35 +0100
committerCanop <cano.petrole@gmail.com>2020-12-13 17:22:07 +0100
commit2c06c7ca0a580618d932325e15d8d40e7640f24d (patch)
tree5764d009d564a514a285426be6ce497cc65660c9 /src/tree/tree_options.rs
parentee4f93f4919be4e716bb9b73476473bbc8bd7159 (diff)
keep selection visible on unfiltering
The selection was sometimes scrolled away on unfiltering. Also change some formatting.
Diffstat (limited to 'src/tree/tree_options.rs')
-rw-r--r--src/tree/tree_options.rs10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tree/tree_options.rs b/src/tree/tree_options.rs
index 13a3ed8..16f75a0 100644
--- a/src/tree/tree_options.rs
+++ b/src/tree/tree_options.rs
@@ -9,16 +9,16 @@ use {
pub struct TreeOptions {
pub show_hidden: bool, // whether files whose name starts with a dot should be shown
pub only_folders: bool, // whether to hide normal files and links
- pub show_counts: bool, // whether to show the number of files (> 1 only for dirs)
+ pub show_counts: bool, // whether to show the number of files (> 1 only for dirs)
pub show_dates: bool, // whether to show the last modified date
pub show_sizes: bool, // whether to show sizes of files and dirs
pub show_git_file_info: bool,
pub show_root_fs: bool, // show information relative to the fs of the root
- pub trim_root: bool, // whether to cut out direct children of root
- pub show_permissions: bool, // show classic rwx unix permissions (only on unix)
- pub respect_git_ignore: bool, // hide files as requested by .gitignore ?
+ pub trim_root: bool, // whether to cut out direct children of root
+ pub show_permissions: bool, // show classic rwx unix permissions (only on unix)
+ pub respect_git_ignore: bool, // hide files as requested by .gitignore ?
pub filter_by_git_status: bool, // only show files whose git status is not nul
- pub pattern: InputPattern, // an optional filtering/scoring pattern
+ pub pattern: InputPattern, // an optional filtering/scoring pattern
pub date_time_format: &'static str,
pub sort: Sort,
}