Clement Tsang 57e87d88d0 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.		2020-09-28 19:50:21 -04:00
..
settings.json	feature: Add persistent search settings (#257)	2020-09-28 19:50:21 -04:00