diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2020-09-28 19:50:21 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-28 19:50:21 -0400 |
commit | 57e87d88d09e6282770a2315977fe43ef52958b4 (patch) | |
tree | 12af86e5aebad78d067caf9a93d5e15efc4f5dc9 /src/constants.rs | |
parent | 7eff79395db3efe9914d3e5ddcd6df7a1fdc649d (diff) |
feature: Add persistent search settings (#257)
Adds persistent search settings across runs, by saving to the config file. Each process widget keeps track of it's *own* behaviour. The previous flags/options are now for *global* behaviour.
The following new behaviour is:
- Relevant flags: `--case_sensitive`, `--whole_word`, and `--regex`, will *override* the current widget's default behaviour.
- Relevant options: `case_sensitive`, `whole_word`, and `regex`, will also *override* the current widget's default behaviour.
As per before, if you set, say, `--case_sensitive`and `case_sensitive=true`, the flag always overrides.
Documentation updates will be done in #248.
Diffstat (limited to 'src/constants.rs')
-rw-r--r-- | src/constants.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/constants.rs b/src/constants.rs index 40f8e646..8bc6f11d 100644 --- a/src/constants.rs +++ b/src/constants.rs @@ -246,7 +246,8 @@ pub const DEFAULT_BATTERY_LAYOUT: &str = r##" pub const DEFAULT_CONFIG_FILE_PATH: &str = "bottom/bottom.toml"; pub const CONFIG_TOP_HEAD: &str = r##"# This is bottom's config file. Values in this config file will change when changed in the -# interface. You can also manually change these values. +# interface. You can also manually change these values. Be aware that contents of this file will be overwritten if something is +# changed in the application; you can disable writing via the --no_write flag or no_write config option. "##; @@ -272,6 +273,6 @@ pub const CONFIG_LAYOUT_HEAD: &str = r##" # All layout components have a ratio value - if this is not set, then it defaults to 1. "##; -pub const CONFIG_DIVIDER: &str = r##" -######################################################################### +pub const CONFIG_FILTER_HEAD: &str = r##" +# These options represent disabled entries for the temperature and disk widgets. "##; |