Method toggleCaseSensitive

src/services/workbench/searchService.ts:143–156

()

    }

    public toggleCaseSensitive() {
        const { isCaseSensitive } = this.state;
        const { SEARCH_CASE_SENSITIVE_COMMAND_ID } =
            this.builtinService.getConstants();
        if (SEARCH_CASE_SENSITIVE_COMMAND_ID) {
            this.setState({
                isCaseSensitive: !isCaseSensitive,
            });
            this.updateStatus(
                SEARCH_CASE_SENSITIVE_COMMAND_ID,
                !isCaseSensitive
            );
        }
    }

    public toggleWholeWord() {
        const { isWholeWords } = this.state;