gtk:string-filter-ignore-case (object)

object -- a gtk:string-filter object
ignore -- true to ignore case

The accessor for the ignore-case slot of the gtk:string-filter class gets or sets whether the filter ignores case differences.