Replies: 1 comment
-
|
Currently per workspace (i.e. directory / project where you open fresh) it remembers your last setting - so if you disable it once it will stay that way by default in that dir. Is that enough? |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello,
is there a way to disable case sensitivity for the search by default?
Beta Was this translation helpful? Give feedback.
All reactions