WebKit.FindOptions.CASE_INSENSITIVE – webkit2gtk-4.1 Reference Manual
CASE_INSENSITIVE
Description:
CASE_INSENSITIVE
case insensitive search.