Allow user to toggle between case sensitive and insensitive in Zoekt

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

Zoekt supports case sensitive and insensitive matching via the case:(yes|no|auto) options. We may wish to expose this in our UI as a switch so that users don't need to know about this syntax if they want to choose.

Problem to solve

Currently the in Zoekt code search UI, there's no way to switch between case sensitive and case insensitive search mode. We support both modes today.

Proposal

• Add a toggle to the search bear when in the code scope that allows the user to select case sensitive or case insensitive search modes:

• Persist the user's selection so that next time they run a search, that last mode used is used