WebKit.FindController.options – webkit2gtk-4.0 Reference Manual
options
Description:
public
FindOptions
options
{
get
; }
The options to be used in the search operation.
2022 vala-language.org