Max Brunsfeld 6b8ce3cc85 Add a setting for when to seed the search query from the text under the cursor		2023-11-09 14:03:14 -08:00
..
default.json	Add a setting for when to seed the search query from the text under the cursor	2023-11-09 14:03:14 -08:00
initial_local_settings.json	Fix comments in settings files	2023-06-13 04:03:51 -04:00
initial_user_settings.json	Fix comments in settings files	2023-06-13 04:03:51 -04:00