Property
WebKitFindController:options
Description [src]
The options to be used in the search operation.
| Type: | WebKitFindOptions | 
| Default value | WEBKIT_FIND_OPTIONS_NONE | 
| Getter method | webkit_find_controller_get_options() | 
The options to be used in the search operation.
| Type: | WebKitFindOptions | 
| Default value | WEBKIT_FIND_OPTIONS_NONE | 
| Getter method | webkit_find_controller_get_options() |