diff options
| author | Dan Nases Sha | 2021-11-20 14:23:36 +0000 |
|---|---|---|
| committer | GitHub | 2021-11-20 14:23:36 +0000 |
| commit | 6a4d9693ba12feed5b6d6b1b34a4ff56cb9f9fd7 (patch) | |
| tree | e05e6dfd08dc8e67b90cd4dd41096447e6d65162 /runtime/themes | |
| parent | 05c6cb1d0b576547c14b204e0df543650c93892f (diff) | |
File picker config (#988)
* squashed WIP commits
* hide_gitignore working with config
* pass reference to new config parameter of file_picker()
* update config option name to match name on walk builder
* add comments to config and documentation of option to book
* add git_ignore option to WalkBuilder within prompt in commands.rs
* WIP: add FilePickerConfig struct
* WIP: cleanup
* WIP: add more options including max_depth
* WIP: changed defaults to match ignore crate defaults
* WIP: change WalkBuilder in global_search() to use config options
* WIP: removed follow_links, changed max_depth to follow config setting
* WIP: update book with file-picker inline table notation
* update documentation for file-picker config in book
* adjusted to [editor.file-picker] in book configuration.md
* adjust comments in editor.rs to be doc comments, cleanup
* adjust comments
* adjust book
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions