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