src/vs/workbench/contrib/search/browser/searchView.ts/SearchView/toggleCaseSensitive
class SearchView:	toggleCaseSensitive(): void {
		this.searchWidget.searchInput.setCaseSensitive(!this.searchWidget.searchInput.getCaseSensitive());
		this.triggerQueryChange();
	}