☰
DDOCs
GID:WEBKIT6
v0.9.13
/
webkit.find_controller
/
FindController.options
🔍
☾
FindController.options
webkit.types.FindOptions
options()
@property
nothrow
Get
options
property.
Returns
The options to be used in the search operation.