set_ignore_case

Description:

public void set_ignore_case (bool ignore_case)

Sets whether the filter ignores case differences.

Parameters:

this

a `GtkStringFilter`
ignore_case

true to ignore case