Max BrunsfeldandAntonio Scandurra e51dc25e1d Start moving default settings into a JSON file ...

Co-authored-by: Antonio Scandurra <me@as-cii.com>

2022-07-12 11:00:02 -07:00

..

buffer_search.rs

Start moving default settings into a JSON file

2022-07-12 11:00:02 -07:00

project_search.rs

Start moving default settings into a JSON file

2022-07-12 11:00:02 -07:00

search.rs

Allow toggling search options via the command palette

2022-06-16 14:28:37 +02:00