set_case_sensitive

Description:

public void set_case_sensitive (bool case_sensitive)

Enables or disables the case sensitivity for the search.

Parameters:

this

a SearchSettings.
case_sensitive

the setting.