src/vs/workbench/contrib/searchEditor/browser/searchEditor.ts/SearchEditor/toggleCaseSensitive
class SearchEditor:	toggleCaseSensitive() {
		this.queryEditorWidget.searchInput.setCaseSensitive(!this.queryEditorWidget.searchInput.getCaseSensitive());
		this.triggerSearch({ resetCursor: false });
	}