You should be able to do that over in your User Settings (Click your picture in the top right and then Settings.) Adding these two things should change that de

You should be able to do that over in your User Settings (Click your picture in the top right and then Settings.) Adding these two things should change that default for you: "search.defaultCaseSensitive": true, "search.defaultPatternType": "regexp", Also see: https://docs.sourcegraph.com/admin/config/settings#search-defaultCaseSensitive https://docs.sourcegraph.com/admin/config/settings#search-de...