get_ignore_case

Description:

public bool get_ignore_case ()

Returns whether the filter ignores case differences.

Parameters:

this

a `GtkStringFilter`

Returns:

true if the filter ignores case