Constant webkit2gtk_sys::WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE[][src]

pub const WEBKIT_FIND_OPTIONS_CASE_INSENSITIVE: WebKitFindOptions = 1;