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