WebKit.FindOptions.CASE_INSENSITIVE – webkit2gtk-4.0 Reference Manual
CASE_INSENSITIVE
Description:
CASE_INSENSITIVE
case insensitive search.
2022 vala-language.org