get_case_sensitive


Description:

public bool get_case_sensitive ()

Parameters:

this

a SearchSettings.

Returns:

whether the search is case sensitive.