src/vs/base/browser/ui/findinput/findInput.ts/FindInput/setCaseSensitive
class FindInput:	public setCaseSensitive(value: boolean): void {
		if (this.caseSensitive) {
			this.caseSensitive.checked = value;
		}
	}