WebKit.FindOptions.CASE_INSENSITIVE – webkitgtk-6.0 Reference Manual
CASE_INSENSITIVE
Description:
CASE_INSENSITIVE
case insensitive search.