Packages
webkit2gtk-4.0
WebKit
FindController
max_match_count
options
text
web_view
FindController
count_matches
get_max_match_count
get_options
get_search_text
get_web_view
search
search_finish
search_next
search_previous
counted_matches
failed_to_find_text
found_text
options
Description:
public
FindOptions
options
{
get
; }
The options to be used in the search operation.